static File programSecretFile(S progID, S fileName) {
  ret secretProgramFile(progID, fileName);
}



static File programSecretFile(S fileName) {
  ret secretProgramFile(fileName);
}