MODULE HelloWorld;

FROM Terminal2 IMPORT WriteString, WriteLn;

BEGIN

    WriteString("Hello World");
    WriteLn;
    
END HelloWorld.