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);