Constant nginx::TCPI_OPT_ECN_SEEN

pub const TCPI_OPT_ECN_SEEN: u32 = 16;