A little virtual machine