sig
  val create_initialized_var :
    Cil_types.varinfo -> Base.validity -> Cvalue.V_Offsetmap.t -> Base.t
  val default_offsetmap :
    Base.t -> [ `Bottom | `Map of Cvalue.V_Offsetmap.t ]
end