Symbol: notify_debugger