svoid test_globalID_ordering() {
  Random random = predictableRandom();
  L<GlobalID> l = repF(10, () -> aGlobalIDObj(random));
  for (Pair<GlobalID> p : outerProductPairs(l))
    assertEqualsVerbose(p.a + "/" + p.b, cmp(p.a, p.b), cmp(str(p.a), str(p.b)));
}