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.