static File makeDirNameUnique_startWithOne_noDot(File f) {
  File orig = f;
  int n = 1;
  S name = orig.getName();
  f = new File(dirOfFile(orig), name + n);
  while (f.exists())
    f = new File(dirOfFile(orig), name + (++n));
  ret f;
}