!7

!include #1031088 // GZIPInputStream_relaxed
!include #1031089 // loadGZTextFile_relaxed

cmodule2 > DynTestModule {
  transient File file;
  transient PrintWriter writer;
  transient new StringBuilder buf;
  
  void printToFile(S s) {
    writer.print(s);
    writer.flush();
    buf.append(s);
    assertEqualsVerbose(str(buf), loadGZTextFile_relaxed(file));
  }
  
  void test {
    file = programFile("test.log.gz");
    deleteFile(file);
    writer = printWriter(gzipOutputStream_syncFlush(file));
    printToFile("Hello\n");
    printToFile("world\n");
    writer.close();
    printFileInfo(file);
  }
}