pub const KERN_IA64_UNALIGNED: c_int = 72;