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.NullIval.Top(NoneNone, re, m), _))
          when Int.is_zero re && Int.equal Int.one m -> r
      | _ -> not r);
    r