pub const KERN_OSREV: i32 = 3;