pub const XED_ISA_SET_AVX512F_128: xed_isa_set_enum_t = 55;