MODULE HelloWorld;

IMPORT Out;

BEGIN
   Out.Open;
   Out.String('Hello World');
END HelloWorld.