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 | Lptr ptr -> L.addr_of_pointer ptr