sig
  val malloced_bases : unit -> Base.Hptset.t
  val alloc_size_ok : Cvalue.V.t -> Alarmset.status
  val register_malloced_base : Base.t -> unit
end