GENERIC MODULE A;

IMPORT Wr, Stdio;

BEGIN
  Wr.PutText (Stdio.stdout, "Hello world\n");
END A.