pub const KERN_UPDATEINTERVAL: i32 = 25;