pub const KIPC_MAX_HDR: i32 = 6;