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