Constant TCP_COOKIE_MAX

Source
pub const TCP_COOKIE_MAX: u32 = 16; // 16u32