Symbol: __INSN_I