let xzone_of_var ma v sz = if compute_int_mode = CIMterms then Zterm (L.vzone ma (name_of_var v)) else Zpair (xaddr_of_var ma v, sz)