pub const KERN_COREFILE: i32 = 50;