Symbol: debugger_fault_handler