pub const XED_EXTENSION_PAUSE: xed_extension_enum_t = 53;