Constant IPV6_PRIORITY_15 

pub const IPV6_PRIORITY_15: u32 = 3840;