let to_pair t = t.lo, t.hi