pub const XED_EXTENSION_PTWRITE: xed_extension_enum_t = 59;