Constant IPV6_ECN_MASK 

pub const IPV6_ECN_MASK: u32 = 12288u32;