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