Symbol: INSN_S