Constant _XABORT_EXPLICIT 

pub const _XABORT_EXPLICIT: u32 = 1;