pub const XED_EXTENSION_MONITOR: xed_extension_enum_t = 47;