pub const XED_ISA_SET_AVX512_FP16_512: xed_isa_set_enum_t = 74;