pub const XED_EXTENSION_SSE3: xed_extension_enum_t = 80;