static File programLogFile() {
  ret programFile(defaultProgramLogFileName());
}

static File programLogFile(S programID) {
  ret programFile(programID, defaultProgramLogFileName());
}