MODULE FilesProg;
(* File round-trip: write 42, read it back into ExitCode. *)
IMPORT Files;
FROM Files IMPORT File;
VAR ExitCode : INTEGER;
VAR f : File;
VAR n : INTEGER;
BEGIN
  f := Files.OpenWrite("gen_ssa/_files_tmp.txt");
  Files.WriteInt(f, 42);
  Files.WriteLn(f);
  Files.Close(f);

  f := Files.OpenRead("gen_ssa/_files_tmp.txt");
  n := Files.ReadInt(f);
  Files.Close(f);

  ExitCode := n
END FilesProg.