***(
  Naive factorial server.

  We erronously assume that port 8811 is necessarily available and
  that numbers make it through the connection in one piece.
)

load socket

mod FACT-CLIENT is
  inc SOCKET .
  op myClass : -> Cid .
  ops myObj : -> Oid .

  var O O1 O2 O3 : Oid .
  var A : AttributeSet .
  var N : Nat .
  rl < O : myClass | A > createdSocket(O, O2, O3) => < O : myClass | A > send(O3, O, "6") .
  rl < O : myClass | A > sent(O, O2) => < O : myClass | A > receive(O2, O) .

endm

erew <>
< myObj : myClass | none >
createClientTcpSocket(socketManager, myObj, "localhost", 8811)
.