Symbol: debugged_thread_continue