bigdivrem_restoring 2677 bignum.c           bigdivrem_restoring(zds, zn, yyds, yn);
bigdivrem_restoring 4821 bignum.c               bigdivrem_restoring(xds, qn, tds, bn);