let
xaddr_of_integer ti =
Laddr
(
Aint
.of_term ti)