DIGIT_SIZE
int exp_digits = number_of_digits(factor_size + 2, DIGIT_SIZE);
int coeff_pow = 4 * (DIGIT_SIZE * exp_digits - factor_size);
assert(out_len >= number_of_digits(in_bitsize, DIGIT_SIZE));
for (; in_bitsize >= (2 * DIGIT_SIZE); in_bitsize -= (2 * DIGIT_SIZE), out += 2) {
if (in_bitsize > DIGIT_SIZE) {
in_bitsize -= DIGIT_SIZE;
for (; out_bitsize >= (2 * DIGIT_SIZE);
out_bitsize -= (2 * DIGIT_SIZE), in += 2) {
if (out_bitsize > DIGIT_SIZE) {
out_bitsize -= DIGIT_SIZE;