This fetch-decode-execute loop is the literal shape of CPython's ceval.c and Lua's lvm.c — the switch statement you're writing is the same construct CPython 3.11+ replaced with a computed-goto, specializing dispatch for speed. Every optimization the rest of this track adds (locals, closures, JIT) modifies this one loop without changing its core contract.