!7

p {
  File f = loadLibrary(#1008743);
  print("Input: " + fileSize(f) + " bytes");
  int l = 0;
  for (int bufferSize : ll(8192, 65536, 1024*1024)) {
    print_doubleNL("Buffer size: " + bufferSize);
    repeat 10 { time2 {
      l = l(readFully(gzInputStream(f)));
    }}
  }
  print_nlBefore(l + " bytes");
}