Constant KERN_ABORTED 

pub const KERN_ABORTED: c_int = 14;