(* Test: Hello world *)

MODULE Main;
IMPORT Wr, Stdio;
<*FATAL ANY*>
BEGIN
  Wr.PutText (Stdio.stdout, "Hello world!\n");
END Main.