hello_world

MODULE HelloWorld;

IMPORT Out;

BEGIN
  Out.String("Hello, World!"); Out.Ln;
END HelloWorld.