static File fileForLibrary(S snippetID) {
  ret main DiskSnippetCache_getLibrary(snippetID);
}