Symbol: INSN_DECODE