pub const DCCP_REASON_BAD_COOKIE: c_int = 7;