sig val create_initialized_var : Cil_types.varinfo -> Base.validity -> Cvalue.V_Offsetmap.t -> Base.t val default_offsetmap : Base.t -> Cvalue.V_Offsetmap.t end