B_DEBUGGED_THREAD_DEBUGGER_CHANGED
B_DEBUGGED_THREAD_DEBUGGER_CHANGED, NULL, 0);
B_DEBUGGED_THREAD_DEBUGGER_CHANGED, NULL, 0);
B_DEBUGGED_THREAD_DEBUGGER_CHANGED, NULL, 0);
case B_DEBUGGED_THREAD_DEBUGGER_CHANGED: