let to_string t = String.concat ["["; string_of_int t.lo; ", ";
                                 string_of_int t.hi; "]"]