A virtual machine for c0