pub const XED_EXCEPTION_AVX_TYPE_12: xed_exception_enum_t = 50;