Symbol: EXCP_INSN_ABORT