3786   int64_t s7 = 2097151 & (load_3(s + 18) >> 3);  in sc_reduce()  local
3853   s7 += s19 * 666643;  in sc_reduce()
3862   s7 += s18 * 470296;  in sc_reduce()
3870   s7 += carry6;  in sc_reduce()
3888   carry7 = (s7 + (1 << 20)) >> 21;  in sc_reduce()
3890   s7 -= carry7 << 21;  in sc_reduce()
3906   s7 += s17 * 654183;  in sc_reduce()
3915   s7 -= s16 * 997805;  in sc_reduce()
3924   s7 += s15 * 136657;  in sc_reduce()
3933   s7 -= s14 * 683901;  in sc_reduce()
3962   s7 += carry6;  in sc_reduce()
3980   carry7 = (s7 + (1 << 20)) >> 21;  in sc_reduce()
3982   s7 -= carry7 << 21;  in sc_reduce()
4017   s7 += carry6;  in sc_reduce()
4019   carry7 = s7 >> 21;  in sc_reduce()
4021   s7 -= carry7 << 21;  in sc_reduce()
4062   s7 += carry6;  in sc_reduce()
4064   carry7 = s7 >> 21;  in sc_reduce()
4066   s7 -= carry7 << 21;  in sc_reduce()
4095   s[18] = (s6 >> 18) | (s7 << 3);  in sc_reduce()
4096   s[19] = s7 >> 5;  in sc_reduce()
4097   s[20] = s7 >> 13;  in sc_reduce()
4164   int64_t s7;  in sc_muladd()  local
4212   s7 = c7 + a0 * b7 + a1 * b6 + a2 * b5 + a3 * b4 + a4 * b3 + a5 * b2 +  in sc_muladd()
4249   s7 += carry6;  in sc_muladd()
4285   carry7 = (s7 + (1 << 20)) >> 21;  in sc_muladd()
4287   s7 -= carry7 << 21;  in sc_muladd()
4342   s7 += s19 * 666643;  in sc_muladd()
4351   s7 += s18 * 470296;  in sc_muladd()
4359   s7 += carry6;  in sc_muladd()
4377   carry7 = (s7 + (1 << 20)) >> 21;  in sc_muladd()
4379   s7 -= carry7 << 21;  in sc_muladd()
4395   s7 += s17 * 654183;  in sc_muladd()
4404   s7 -= s16 * 997805;  in sc_muladd()
4413   s7 += s15 * 136657;  in sc_muladd()
4422   s7 -= s14 * 683901;  in sc_muladd()
4451   s7 += carry6;  in sc_muladd()
4469   carry7 = (s7 + (1 << 20)) >> 21;  in sc_muladd()
4471   s7 -= carry7 << 21;  in sc_muladd()
4506   s7 += carry6;  in sc_muladd()
4508   carry7 = s7 >> 21;  in sc_muladd()
4510   s7 -= carry7 << 21;  in sc_muladd()
4551   s7 += carry6;  in sc_muladd()
4553   carry7 = s7 >> 21;  in sc_muladd()
4555   s7 -= carry7 << 21;  in sc_muladd()
4584   s[18] = (s6 >> 18) | (s7 << 3);  in sc_muladd()
4585   s[19] = s7 >> 5;  in sc_muladd()
4586   s[20] = s7 >> 13;  in sc_muladd()