MODULE Test;

IMPORT
  Out,
  System;

BEGIN
  Out.Open;
  Out.String("Hello World!"); Out.Ln;
  System.Halt(1);
END Test.