let xzone_assigned = function
| F.Aloc( te , loc ) ->
Tint.mk_xzone loc (sizeof_c_object te)
| F.Arange( te , loc , rg ) ->
match rg with
| {F.inf = Some min; F.sup = Some max} ->
let sz = sizeof_c_object te in
let addr = Tint.shift_n_elem loc min sz in
let size = Tint.xsize_of_range min max sz in
Tint.mk_xzone addr size
| _ -> unsupported "unbounded range"