ARG_NONNULL        43 src/bignum.h   extern bool mpz_to_intmax (mpz_t const, intmax_t *) ARG_NONNULL ((1, 2));
ARG_NONNULL        44 src/bignum.h   extern bool mpz_to_uintmax (mpz_t const, uintmax_t *) ARG_NONNULL ((1, 2));
ARG_NONNULL        45 src/bignum.h   extern void mpz_set_intmax_slow (mpz_t, intmax_t) ARG_NONNULL ((1));
ARG_NONNULL        46 src/bignum.h   extern void mpz_set_uintmax_slow (mpz_t, uintmax_t) ARG_NONNULL ((1));
ARG_NONNULL        48 src/bignum.h     ARG_NONNULL ((1, 2, 3));
ARG_NONNULL        50 src/bignum.h     ARG_NONNULL ((1, 2));
ARG_NONNULL        52 src/bignum.h     ARG_NONNULL ((1, 2));