"Source: Text/System/IO.text";
"Line: 1674";
"Date: Mon Jun 27 13:54:32 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/System/IO.text, line: 1674
// Example: H3E13 ()
print "Example: H3E13";
ei := GetEchoInput();
SetEchoInput(true);
//no-test
// First Magma process
server := Socket(: LocalHost := "localhost");
SocketInformation(server);
S1 := WaitForConnection(server);
// Second Magma process
S2 := Socket("localhost", 32794);
SocketInformation(S2);
Write(S2, "Hello, other world!");
delete S2;
// First Magma process
SocketInformation(S1);
repeat
    msg := Read(S1);
    msg;
until IsEof(msg);
SetEchoInput(ei);
