program HelloWorld;

#include( "stdlib.hhf" );

begin HelloWorld;
  stdout.put( "Hello World", nl );
end HelloWorld;