MODULE HelloWorld EXPORTS Main;
 FROM IO IMPORT Put;
 BEGIN
   Put("Hello World\n")
 END HelloWorld.