protected MonoThreadManager(Process process, Inferior inferior,
MonoDebuggerInfo debugger_info)
{
this.process = process;
this.debugger_info = debugger_info;
inferior.WriteInteger (debugger_info.UsingMonoDebugger, 1);
notification_bpt = new InitializeBreakpoint (this, debugger_info.Initialize);
notification_bpt.Insert (inferior);
}