400.

David J. Pearce (Formalising a Simple Virtual Machine)

whileydave.com/2022/06/28/formalising-a-simple-virtual-machine
programming,stack_machine