static LS getServerTranslationLibs(S progID) {
  ret second(getServerTranslationAndLibs));
}