"Source: Text/System/IO.text";
"Line: 755";
"Date: Thu Sep 25 14:47:43 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/System/IO.text, line: 755
// Example: H3E4 ()
print "Example: H3E4";
ei := GetEchoInput();
SetEchoInput(true);
for i := 1 to 150 by 33 do printf "[%3o]\n", i; end for;
for i := 1 to 150 by 33 do printf "[%-3o]\n", i; end for;
for w := 1 to 5 do printf "[%*o]", w, 1; end for;
SetEchoInput(ei);
