Constant jl_sys::TCP_COOKIE_MAX

pub const TCP_COOKIE_MAX: u32 = 16;