static String getServerTranspilation(S snippetID) ctex {
  ret loadPage_utf8("http://tinybrain.de:8080/tb-int/get-transpiled.php?raw=1&withlibs=0&id=" + parseSnippetID(snippetID) + "&utf8=1");
}