pub const KERN_TTYCOUNT: c_int = 57;