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