Csymex.Concrete_alloc_id
val next_id : int Stdlib.ref
val get_next : unit -> [> Soteria__Bv_values__Typed.T.sloc ] Soteria__Bv_values__Typed.t