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