let alloc_vars frame xs p =
let _,xta = varmem_at frame Here in
List.fold_left
(fun p x ->
let ta0 = F.var xta in
let v_x = D.Xindex.get_ind x in
let sz_x = sizeof (object_of x.vtype) in
let ta1 = model_alloc ta0 v_x sz_x in
D.subst xta ta1 p
) p xs