A small virtual machine