let term_of_xzone xz = match xz with
      | Zterm t -> t
      | Zpair (a, sz) -> L.zone (term_of_xaddr a) (term_of_xsize sz)