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