MODULE prog;

IMPORT Out;

BEGIN
  Out.String("Hello World!");
  Out.Ln
END prog.
