let xaddr_of_integer ti = Laddr (Aint.of_term ti)