protected void EmitChar(Engine e, uint ch) { if (e.outputSystem == IOSystem.Filter) { e.PerformCall(e.filterAddress, new uint[] { ch }, GLULX_STUB_RESUME_HUFFSTR, e.printingDigit, e.pc); } else { e.SendCharToOutput(ch); } }