A simple VM for a talk on building VMs