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)