!7

cmodule2 > DynTestModule {
  transient File file;
  transient PrintWriter writer;
  
  void test {
    file = programFile("test.log.gz");
    deleteFile(file);
    writer = printWriter(gzipOutputStream_syncFlush(file));
    writer.print("Hello\n");
    writer.flush();
    printFileInfo(file);
    writer.print("world\n");
    writer.flush();
    printFileInfo(file);
    writer.close();
    printFileInfo(file);
  }
}