svoid renameFileVerbose_assertSuccess(File a, File b) {
  if (!renameFileVerbose(a, b))
    fail("Couldn't rename " + a + " to " + b);
}