pub const KERN_COREDUMP: i32 = 51;