"Source: Text/System/IO.text";
"Line: 615";
"Date: Thu Sep 25 14:47:43 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/System/IO.text, line: 615
// Example: H3E2 ()
print "Example: H3E2";
ei := GetEchoInput();
SetEchoInput(true);
Split("a b c d", " ");
// Note that adjacent separators do not produce
// extra fields by default:
Split("a||b|c", "|");
// But they can be made to appear with IncludeEmpty:
Split("a||b|c", "|" : IncludeEmpty := true);
Split("abxcdyefzab", "xyz");
// Note that no splitting happens if the delimiter
// is empty:
Split("abcd", "");   
SetEchoInput(ei);
