Constant IPV6_PRIORITY_12 

pub const IPV6_PRIORITY_12: u32 = 3072 /* 3_072u32 */;