Symbol: set_thread_fault_code