Constant IPPORT_REGISTERED_MAX 

pub const IPPORT_REGISTERED_MAX: u32 = 49151u32;