big_extend_carry 3028 bignum.c               big_extend_carry(x);
big_extend_carry 3653 bignum.c                   big_extend_carry(val);
big_extend_carry 5511 bignum.c                   big_extend_carry(z);