sbool hasSameFileWithDifferentExtension(File f, S extNew) {
  ret fileExists(changeExtension(f, extNew));
}