Constant INTERNET_DEFAULT_HTTPS_PORT 

pub const INTERNET_DEFAULT_HTTPS_PORT: INTERNET_PORT = 443;