static Pair<S, L<S>> getServerTranslationAndLibs(S progID) {
  S transpiledSrc = getServerTranspiled2(progID);
  ret extractLibsFromTranspilation(transpiledSrc);
}