Constant IPPORT_WHOSERVER

pub const IPPORT_WHOSERVER: u32 = 513u32;