This is what I would call ‘token threaded code’. The code consists of tokens equal to 0,1,2,3,...
If you left out the dispatch table you would have ‘indirect threaded code’, such as is traditional in Forth. The code consists of a sequence of machine addresses, which can change from compilation to compilation. This is how I am likely to do a backend for hiha that has proper tail calls. We shall see.
The interpreter must ‘circulate’ within one function.
