let is_topint v =
let r = equal top_int v in
(* Format.printf "v=%x (%a); top_int=%x (%a)@."
(Extlib.address_of_value v) pretty v
(Extlib.address_of_value top_int) pretty top_int;*)
assert
(match v with
| Map(M.Leaf(Base.Null, Ival.Top(None, None, re, m), _))
when Int.is_zero re && Int.equal Int.one m -> r
| _ -> not r);
r