sig
  val fold_dynamic_bases :
    (Base.t -> Value_types.Callstack.t -> '-> 'a) -> '-> 'a
  val alloc_size_ok : Cvalue.V.t -> Alarmset.status
  val free_automatic_bases :
    Value_types.Callstack.t -> Cvalue.Model.t -> Cvalue.Model.t
  val register_malloced_base :
    ?stack:Value_types.Callstack.t -> Base.t -> unit
end