MODULE MixProg;
(* Two libraries exporting the same routine name, used qualified. *)
IMPORT Files, TextIO;
FROM Files IMPORT File;
VAR ExitCode : INTEGER;
VAR f : File;
BEGIN
  TextIO.WriteInt(7);
  TextIO.WriteLn;
  f := Files.OpenWrite("gen_ssa/_mix.txt");
  Files.WriteInt(f, 9);
  Files.WriteLn(f);
  Files.Close(f);
  ExitCode := 0
END MixProg.