Symbol: __INSN_S