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