A MIX system emulator