A MIX computer system emulator