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.