pub const KERN_SPLASSERT: c_int = 54;