GENERIC MODULE A (x, y);
BEGIN
  x.PutText (y.stdout, "hello world\n");
END A.