BARY_SHORT_MUL   3318 bignum.c           BARY_SHORT_MUL(val_numbits_bary, numbytes_bary, char_bit);
BARY_SHORT_MUL   6742 bignum.c           BARY_SHORT_MUL(result_bary, numbytes_bary, char_bit);