void start_inferior()
{
event_queue.Lock ();
ready_event.Set ();
while (!abort_requested) {
engine_thread_main ();
}
Report.Debug (DebugFlags.Threads, "Engine thread exiting.");
}