make_bignum       123 src/bignum.c     return make_bignum ();
make_bignum       130 src/bignum.c     return make_bignum ();
make_bignum       140 src/bignum.c     return make_bignum ();