Constant IPPORT_REGISTERED_MAX 

pub const IPPORT_REGISTERED_MAX: USHORT = 0xbfff;