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