sig
  val initial_state_not_lib_entry : unit -> Cvalue.Model.t
  val initial_state_lib_entry : unit -> Cvalue.Model.t
  val initialize_var_using_type :
    Cil_types.varinfo -> Cvalue.Model.t -> Cvalue.Model.t
end