pub const KERN_TIMECOUNTER: c_int = 69;