DEFINITION MODULE Interpreter ; (* MC64 execution engine: runs until opcode 50H (end_program). *) EXPORT QUALIFIED Run ; PROCEDURE Run ; END Interpreter.