emulator: take red file as argument, not as stdin