MODULE Hello;
  IMPORT CPmain, Console;

  CONST greet = "Hello Beta2 world";

BEGIN
  Console.WriteString(greet); 
  Console.WriteLn;
END Hello.