static S assertGlobalID(S s) {
  assertPossibleGlobalID(s);
}