BigitsShiftLeft   245 src/bignum.cc    BigitsShiftLeft(local_shift);
BigitsShiftLeft   122 src/bignum.h     void BigitsShiftLeft(int shift_amount);