MODULE B EXPORTS Main;
IMPORT Wr, Stdio;
<*FATAL ANY*>
BEGIN
  Wr.PutText (Stdio.stdout, "Hello World\n");
END B.