Symbol: insn_is_rex2