let term_of_xaddr ai : t_addr = match ai with
      | Lvaddr (ma, v) -> L.vaddr ma (name_of_var v)
      | Laddr ai -> Aint.to_term ai