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