- bigint_mul_u(dest, &xl, &yl); /* dest <= xl*yl */
- bigint_add_u(&tmp2, &xh, &xl); /* tmp2 <= xh+xl */
- bigint_add_u(&tmp, &yh, &yl); /* tmp <= yh+yl */
- bigint_mul_u(&m, &tmp2, &tmp); /* m <= tmp2*tmp */
- bigint_mul_u(&tmp, &xh, &yh); /* h <= xh*yh */
- bigint_sub_u(&m, &m, dest); /* m <= m-dest */
- bigint_sub_u(&m, &m, &tmp); /* m <= m-h */
- bigint_add_scale_u(dest, &m, n);
- bigint_add_scale_u(dest, &tmp, 2*n);
+ bigint_mul_u(dest, &xl, &yl); /* 1: dest <= xl*yl */
+ bigint_add_u(&tmp2, &xh, &xl); /* 2: tmp2 <= xh+xl */
+ bigint_add_u(&tmp, &yh, &yl); /* 3: tmp <= yh+yl */
+ bigint_mul_u(&m, &tmp2, &tmp); /* 4: m <= tmp2*tmp */
+ bigint_mul_u(&tmp, &xh, &yh); /* 5: tmp <= xh*yh */
+ bigint_sub_u(&m, &m, dest); /* 6: m <= m-dest */
+ bigint_sub_u(&m, &m, &tmp); /* 7: m <= m-tmp */
+ bigint_add_scale_u(dest, &m, n * sizeof(bigint_word_t)); /* 8: dest <= dest+m**n*/
+ bigint_add_scale_u(dest, &tmp, 2 * n * sizeof(bigint_word_t)); /* 9: dest <= dest+tmp**(2*n) */