let integer_of_xaddr xa = term_of_xaddr xa