pub const KERN_UPDATEINTERVAL: c_int = 25;