Symbol: SMC_INSN