dt/bit/sc_proxy.hh

1013     int wn = n / SC_DIGIT_SIZE;
1015     if (wn != 0) {
1018         for (; i >= wn; --i) {
1019             set_words_(x, i, x.get_word(i - wn), x.get_cword(i - wn));
1063     int wn = n / SC_DIGIT_SIZE;
1065     if (wn != 0) {
1068         for (; i < (sz - wn); ++i) {
1069             set_words_(x, i, x.get_word(i + wn), x.get_cword(i + wn));