(push-integer 42)
(vm-exec "dump")