mpn_set_str_other 1415 maint/gnulib/lib/mini-gmp.c       return mpn_set_str_other (rp, sp, sn, base, &info);
mpn_set_str_other 4403 maint/gnulib/lib/mini-gmp.c       rn = mpn_set_str_other (rp, dp, dn, base, &info);