/* * The TCP port used in the connection * */ int port() {