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