(* Test: Hello world *)

MODULE Main;
IMPORT Wr, Stdio;

BEGIN
  Wr.PutText (Stdio.stdout, "Hello world!\n");

  Stdio.Close ();
END Main.