MODULE StringLength EXPORTS Main;

IMPORT IO, Fmt, Text;

VAR s: TEXT := "Foo bar baz";

BEGIN
  IO.Put("String length of s: " & Fmt.Int(Text.Length(s)) & "\n");
END StringLength.