MODULE HelloWorld;
  FROM Terminal IMPORT WriteString, WriteLn;
BEGIN
  WriteString("Hello, World!");
  WriteLn;
END HelloWorld.