sbool possibleLongGlobalID(S s) {
  ret l(s) == longGlobalIDLength() && allLowerCaseCharacters(s);
}