pub const KERN_NTPTIME: c_int = 25;