static void assertPossibleGlobalID(S s) {
  if (!possibleGlobalID(s))
    fail("Not an acceptable global ID: " + s);
}