Constant TCPI_OPT_ECN_SEEN 

pub const TCPI_OPT_ECN_SEEN: u32 = 16;