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