static void renameFile_assertTrue(File a, File b) {
  if (!renameFile(a, b))
    fail("Can't rename " + f2s(a) + " to " + f2s(b));
}