let mk_xzone a sz : x_zone = match a with
      | Lvaddr (ma, v) -> xzone_of_var ma v sz
      | _ -> Zpair (a, sz)