server: [eclipse 10]: socket(internet, stream, s), bind(s, X). X = acrab5 / 3789 yes. [eclipse 11]: listen(s, 1), accept(s, From, news). <blocks waiting for a connection> client: [eclipse 26]: socket(internet, stream, s), connect(s, acrab5/3789). yes. [eclipse 27]: printf(s, "%w. %b", message(client)), read(s, Msg). server: From = acrab4 / 1627 yes. [eclipse 12]: read(news, Msg), printf(news, "%w. %b", message(server)). Msg = message(client) yes. client: Msg = message(server) yes.