Symbol: vc_decode_insn