Constant IPPORT_NAMESERVER 

pub const IPPORT_NAMESERVER: u32 = 42;