A basic virtual machine