A simple virtual machine