t = {lo:int; hi:int}