pub const KERN_HOSTID: i32 = 11;