pub const XED_EXTENSION_SHA512: xed_extension_enum_t = 72;