sS defaultProgramLogFileName() {
  ret "log.txt";
}