static S getProgramName_cache;

static synchronized S getProgramName() {
  if (getProgramName_cache == null)
    getProgramName_cache = getSnippetTitleOpt(programID());
  ret getProgramName_cache;
}