public override object trap(string name, List args) { if (name == "dump") { m_threadPool.dump(args); return null; } return base.trap(name, args); }