MODULE Main; IMPORT Wr, Stdio; BEGIN Wr.PutText (Stdio.stdout, "hello world\n"); Wr.Close (Stdio.stdout); END Main.