MODULE Length;
IMPORT Out, Strings;
VAR l: INTEGER;
string: ARRAY 5 OF CHAR;
BEGIN
string := "Foo";
l := Strings.Length(string);
Out.String("Length: ");
Out.Int(l,0);
Out.Ln;
END Length.