please include function checkFileNotTooBigToRead.

svoid setMaxFileSizeAllowedToReadInThread(final int size) {
  checkFileNotTooBigToRead_tl.set(voidfunc(File f) {
    long l = fileSize(f);
    if (l > size)
      fail("File too big to read: " + f + " (" + l + "/" + size + ")");
  });
}