!7

p {
  File f = loadLibrary(#1200000);
  L<S> names = endingWithIC(".ctx", listFilesInZip(f));
  for (S name : names) {
    print(name + ": " + n(lines(loadTextFileFromZip(f, name)), "lines"));
  }
}