let compare_hi u v = Pervasives.compare u.hi v.hi