pub const KERN_KDEBUG: i32 = 24;