static Class<?> hotwire_overInternalBot(String progID) ctex {
  Pair<File, S> p = CompilerBot.compileSnippet2(progID);
  File jar = p.a;
  assertTrue(jar.getAbsolutePath(), jar.isFile());
  
  // collect files (program + libraries)
  
  L<File> files = ll(jar);
  S dehlibs = unnull(loadTextFileFromZip(jar, "libraries"));
  
  Matcher matcher = Pattern.compile("\\d+").matcher(dehlibs);
  while (matcher.find()) {
    S libID = matcher.group();
    files.add(loadLibrary(libID));
  }

  // make class loader
  JavaXClassLoader classLoader = new JavaXClassLoader(progID, files);

  ret hotwire_finish(classLoader, progID, p.b);
}