let xzone_assigned = function
    | D.Aloc( te , loc ) ->
        Tint.mk_xzone loc (sizeof_c_object te)
    | D.Arange( te , loc , rg ) ->
        match rg with
          | {D.inf = Some min; D.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"