!7

p {
  File f = loadLibrary(/*#1009532*/#1008743);
  print("Input: " + fileSize(f) + " bytes");
  int l = 0;
  repeat 10 { time2 {
    l = l(readFully(gzInputStream(f)));
  }}
  print(l + " bytes");
}