sS uploadTranspilation(S progID, S transpilation, LS libs) {
  S server = tb_mainServer();
  
  // Compiled OK, let's upload
  S result = postPageWithCredentials(server + "/tb/upload-transpilation.php",
    id := psI(progID),
    +transpilation,
    libs := lines(map parseSnippetID(libs)),
    computer := computerID());
    
  Matcher m = regexp("URL=/(dexcompile\\.php.*?)'", result);
  if (!m.find()) fail("Server said: " + result);
    
  S url = server + "/" + m.group(1);
  /*if (transpileForServer_forceJavacOnServer || transpileForServer_forceJavacWhenLibs && nempty(libs))
    url += "&javac=1";*/
    
  result = postPageWithCredentials(url);
  
  bool ok = result.contains("SUCCESS");
  sendToSnippetUpdatesBot("/transpile" + (ok ? "OK" : "Fail") 
    + "/" + psI(progID));
      
  if (!ok)
    fail("Server said: " + result);
    
  print("Transpiled & uploaded " + fsI(progID) + "!");
}