let alloc_vars m xs p = List.fold_left (fun p x -> let v_x = F.Xindex.get_ind x in let sz_x = sizeof (object_of x.vtype) in L.subst m.x_alloc (model_alloc m.alloc v_x sz_x) p ) p xs