!7

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