Symbol: insn_decode