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