let
mk_minus_pointer p1 p2 =
Why_ops
.sub_pointer p1 p2