static long conceptFileSize(S progID) {
  ret fileSize(conceptsFile(progID));
}