Symbol: handle_fault