emulator: use "-" to read the .red from stdin