MODULE Test;

IMPORT
  Out,
  System;

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