public void EmitTrap(TextWriter trapFile) { trapFile.Write(".push "); key.AppendTo(trapFile); trapFile.WriteLine(); }