static File programLogFile() {
  ret programFile("log.txt");
}

static File programLogFile(S programID) {
  ret programFile(programID, "log.txt");
}