A simple virtual machine player