Constant DEFAULT_PORT 

const DEFAULT_PORT: u16 = 8443;