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