static L<S> acc_programIDs() {
  ret acc_programIDs(acc_current());
}

static L<S> acc_programIDs(AccessControlContext context) {
  ret reversed(formatSnippetIDsOpt(collect('progID, onlyJavaXClassLoaders(acc_classLoaders(context)))));
}