X86_REX_B
if (X86_REX_B(insn->rex_prefix.value))
rm = X86_MODRM_RM(v) + 8*!!X86_REX_B(rex);
b3 = !!X86_REX_B(rex);
if (X86_REX_B(insn->rex_prefix.value))
if (X86_REX_B(insn->rex_prefix.value))
rex_b = X86_REX_B(rex);