static S numberFileNameNotUsedInDir_startingWith2(File dir) {
  int n = 1;
  File f;
  do {
    f = new File(dir, str(++n));
  } while (f.exists());
  ret f.getName();
}