MODULE HelloWorld;                     
IMPORT Out;
BEGIN
  Out.String( "Hello World" );
  Out.Ln;
END HelloWorld.