static File loadCompiledSrcLib(S snippetID) {
  File f = main DiskSnippetCache_file(psI(snippetID));
  if (fileSize(f) != 0) ret f;
  S url = jarBotURL(snippetID);
  loadBinaryPageToFile(url, f);
  ret f;
}