Constant CPX_STAT_ABORT_USER 

pub const CPX_STAT_ABORT_USER: u32 = 13;