static File persistentMapLogFile(S progID, S persistenceName) {
  ret getProgramFile(progID, persistenceName + ".add.log");
}