static Pair<S, L<S>> getServerTranslationAndLibs(S progID) {
  S transpiledSrc = getServerTranspiled2(progID);
  int i = transpiledSrc.indexOf('\n');
  S dehlibs = substring(transpiledSrc, 0, i);
  transpiledSrc = transpiledSrc.substring(i+1);
  new L<S> libs;
  Matcher matcher = Pattern.compile("\\d+").matcher(dehlibs);
  while (matcher.find())
    libs.add(fsI(matcher.group()));
  ret pair(transpiledSrc, libs);
}