pub const KERN_WATCHDOG: c_int = 64;