MODULE Test;

IMPORT
  Out,
  System;

TYPE
  RBase = RECORD END;
  R = RECORD (RBase) END;

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