pub const INTERNET_DEFAULT_GOPHER_PORT: u16 = 70u16;