static ZipFile openZipSnippet(S snippetID) {
  ret openZipFile(loadLibrary(snippetID));
}