convert to ZMachine