let base ma a =  Laddr (Aint.of_term (L.base ma (term_of_xaddr a)))