Constant xed_sys::XED_EXTENSION_PT

pub const XED_EXTENSION_PT: xed_extension_enum_t = 39;