let
integer_of_xaddr xa = term_of_xaddr xa