A virtual machine for zojax development