MODULE Main;

IMPORT Text;

PROCEDURE Main () = 
  VAR t: TEXT;
  BEGIN
    t := Text.Cat ("foo", "bar", "baz", "quux");
  END Main;

BEGIN
  Main ();
END Main.