MODULE Hello;

FROM InOut IMPORT WriteString, WriteLn;

BEGIN

   WriteString( 'Hello World!' ); WriteLn;

END Hello.