svoid transpileLocalSnippet(S progID) {
  transpileLocalSnippet(progID, "quick");
}

svoid transpileLocalSnippet(S progID, S mode) {
  if (neq(mode, 'quick)) refreshTranspiler();
  S javax = loadLocalSnippet(progID);

  time "Transpile" {
    transpileRaw_silent = false;
    S java;
    try {
      java = transpileRaw(javax);
    } catch e {
      // (line 980,col 1)
      int line = parseIntOpt(jextract("(line <int>,", str(e)));
      if (line != 0) {
        L<S> lines = lines(loadProgramTextFile("error.java"));
        for (int i = line-1; i <= line+1; i++)
          print("[line " + i + "] " + get(lines, i-1));
      }
      throw rethrow(e);
    }
    print("Transpiled to " + l(java) + " chars");
  }

  new L<S> libs;
  java = findTranslators2(java, libs);
  print("Libs: " + or2(joinWithComma(libs), "-"));

  S dehlibs = join(" ", libs);
  saveTranspiledCode(progID, dehlibs + "\n" + java);
  
  File bytecode = javaCompile_overInternalBot(java, dehlibs);
  print("Bytecode: " + f2s(assertNotNull(bytecode)));
}