Constant IPPORT_WHOSERVER 

pub const IPPORT_WHOSERVER: u32 = 513u32;