sbool eqHasGlobalID(IHasGlobalID a, IHasGlobalID b) {
  ret a == b || a != null && eq(a.globalID(), b.globalID());
}