static bool possibleGlobalID(S s) {
  ret l(s) == globalIDLength() && allLowerCaseCharacters(s);
}