(push-string "Hello world!")
(vm-exec "print")