Yes exactly. It's not a zero cost abstraction, but it's a very simple format, each byte code oppose maps directly to function and passes its args. So it's basically just a conditional jump
Ahahaha. But my understanding was that they wanted it to be somewhat field programmable? You can tediously write in a program with all the VERB NOUN stuff?