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