Symbol: get_fault_insn