let compare_lo_then_hi u v =
  match Pervasives.compare u.lo v.lo with
    | 0 -> Pervasives.compare u.hi v.hi
    | -1 -> -1
    | 1 -> 1
    | _ -> assert false