Constant IPPORT_WHOSERVER 

pub const IPPORT_WHOSERVER: USHORT = 513;