Constant IPV6_PRIORITY_13 

pub const IPV6_PRIORITY_13: u32 = 3328;