3790   int64_t s11 = 2097151 & (load_4(s + 28) >> 7);  in sc_reduce()  local
3821   s11 += s23 * 666643;  in sc_reduce()
3830   s11 += s22 * 470296;  in sc_reduce()
3839   s11 += s21 * 654183;  in sc_reduce()
3848   s11 -= s20 * 997805;  in sc_reduce()
3857   s11 += s19 * 136657;  in sc_reduce()
3866   s11 -= s18 * 683901;  in sc_reduce()
3876   s11 += carry10;  in sc_reduce()
3894   carry11 = (s11 + (1 << 20)) >> 21;  in sc_reduce()
3896   s11 -= carry11 << 21;  in sc_reduce()
3968   s11 += carry10;  in sc_reduce()
3986   carry11 = (s11 + (1 << 20)) >> 21;  in sc_reduce()
3988   s11 -= carry11 << 21;  in sc_reduce()
4029   s11 += carry10;  in sc_reduce()
4031   carry11 = s11 >> 21;  in sc_reduce()
4033   s11 -= carry11 << 21;  in sc_reduce()
4074   s11 += carry10;  in sc_reduce()
4105   s[28] = (s10 >> 14) | (s11 << 7);  in sc_reduce()
4106   s[29] = s11 >> 1;  in sc_reduce()
4107   s[30] = s11 >> 9;  in sc_reduce()
4108   s[31] = s11 >> 17;  in sc_reduce()
4168   int64_t s11;  in sc_muladd()  local
4220   s11 = c11 + a0 * b11 + a1 * b10 + a2 * b9 + a3 * b8 + a4 * b7 + a5 * b6 +  in sc_muladd()
4255   s11 += carry10;  in sc_muladd()
4291   carry11 = (s11 + (1 << 20)) >> 21;  in sc_muladd()
4293   s11 -= carry11 << 21;  in sc_muladd()
4310   s11 += s23 * 666643;  in sc_muladd()
4319   s11 += s22 * 470296;  in sc_muladd()
4328   s11 += s21 * 654183;  in sc_muladd()
4337   s11 -= s20 * 997805;  in sc_muladd()
4346   s11 += s19 * 136657;  in sc_muladd()
4355   s11 -= s18 * 683901;  in sc_muladd()
4365   s11 += carry10;  in sc_muladd()
4383   carry11 = (s11 + (1 << 20)) >> 21;  in sc_muladd()
4385   s11 -= carry11 << 21;  in sc_muladd()
4457   s11 += carry10;  in sc_muladd()
4475   carry11 = (s11 + (1 << 20)) >> 21;  in sc_muladd()
4477   s11 -= carry11 << 21;  in sc_muladd()
4518   s11 += carry10;  in sc_muladd()
4520   carry11 = s11 >> 21;  in sc_muladd()
4522   s11 -= carry11 << 21;  in sc_muladd()
4563   s11 += carry10;  in sc_muladd()
4594   s[28] = (s10 >> 14) | (s11 << 7);  in sc_muladd()
4595   s[29] = s11 >> 1;  in sc_muladd()
4596   s[30] = s11 >> 9;  in sc_muladd()
4597   s[31] = s11 >> 17;  in sc_muladd()