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