static S ai_versionFromName(S s) {
  ret regexpExtract("\\bv\\d+", s);
}