big_shift2       6569 bignum.c                   return bignorm(big_shift2(x, 1, y));
big_shift2       6599 bignum.c                   return bignorm(big_shift2(x, 0, y));