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)));

}