for (;;) { AwaitEvent() Send() }
for (;;) { Send(server1, req, msg); // pull from server1 Send(server2, msg); // push to server2 }
for (;;) { Receive(msg) Process(msg) // interact with back-end server Reply() }