Symbol: insn_is_vector