static File programDirWithCase(S progID, S caseID) {
  ret empty(caseID) ? programDir(progID) : newFile(programDir(progID), caseID);
}