pub const KERN_DUMPDEV: i32 = 31;