static S getExportSnippetID(S progID) {
  ret loadProgramTextFile(progID, "exportSnippetID.text");
}