emulator: improved performance + nicer output