Constant INTERNET_DEFAULT_GOPHER_PORT 

pub const INTERNET_DEFAULT_GOPHER_PORT: u16 = 70u16;