"Source: Text/System/IO.text";
"Line: 1516";
"Date: Mon Jun 27 13:54:32 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/System/IO.text, line: 1516
// Example: H3E12 ()
print "Example: H3E12";
ei := GetEchoInput();
SetEchoInput(true);
// no-test
function GetTime()
    I := POpen("date", "r");
    date := Read(I);
    _, _, f := Regexp("([0-9][0-9]):([0-9][0-9]):([0-9][0-9])", date);
    h, m, s := Explode(f);
    return h, m, s;
end function;
h, m, s := GetTime();
h, m, s;
h, m, s := GetTime();
h, m, s;
SetEchoInput(ei);
