Symbol: trace_user_fault_destroy