public override object trap(string name, List args) { // private undocumented access string n = name; if (n == "flags") return Long.valueOf(m_flags); if (n == "lineNumber") return Long.valueOf(m_lineNum); return base.trap(name, args); }