pub const KERN_RANDOM: i32 = 40;