sig
val initialized_var_table :
Cvalue.V_Offsetmap.t Cil_datatype.Varinfo.Hashtbl.t
val create_initialized_var :
Cil_datatype.Varinfo.Hashtbl.key ->
Base.validity -> Cvalue.V_Offsetmap.t -> Base.t
val default_offsetmap : Base.t -> Cvalue.V_Offsetmap.t
end