static PairS uploadTranspilation_keepLibs(S progID, S transpilation) {
  LS libs = getServerTranslationLibs(progID);
  ret uploadTranspilation(progID, transpilation, libs);
}