Symbol: INSN_GOOD