big_shift3       4580 bignum.c           return big_shift3(x, lshift_p, shift_numdigits, shift_numbits);
big_shift3       4588 bignum.c           return big_shift3(x, 1, s1, s2);
big_shift3       4596 bignum.c           return big_shift3(x, 0, s1, s2);
big_shift3       6566 bignum.c                   return bignorm(big_shift3(x, lshift_p, shift_numdigits, shift_numbits));
big_shift3       6596 bignum.c                   return bignorm(big_shift3(x, lshift_p, shift_numdigits, shift_numbits));