"Source: Text/System/IO.text";
"Line: 1674";
"Date: Thu Sep 25 14:47:43 2025";
"Main: Fri Sep 26 14:29:19 2025";
// 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);
