Quoted By:
I completed my version of the AWA interpreter.
It has a few differences, notably that comparison opcodes have different semantics because the original required code that I didn't want to write; also there is a new opcode to "fast check" if a value is zero.
Picture is how you write a loop going backward.