Do more error checking in the VM