pub const XED_EXTENSION_BMI2: xed_extension_enum_t = 23;