let
make_unsafe lo hi = {lo; hi}