check_shiftdown 2360 bignum.c VALUE t = check_shiftdown(y, x); check_shiftdown 2424 bignum.c VALUE t = check_shiftdown(y, x);