//!include once #1016217 // Sticky Libs (but you need to include this in main program too)

static Set<S> markLibsSticky_list = synchroSet();

svoid markLibsSticky(L<S> libs) {
  markLibsSticky_list.addAll(formatSnippetIDs(libs));
}