s7
int64_t s7 = 2097151 & (load_3(s + 18) >> 3);
s7 += s19 * 666643;
s7 += s18 * 470296;
s7 += carry6;
carry7 = (s7 + (1 << 20)) >> 21;
s7 -= int64_lshift21(carry7);
s7 += s17 * 654183;
s7 -= s16 * 997805;
s7 += s15 * 136657;
s7 -= s14 * 683901;
s7 += carry6;
carry7 = (s7 + (1 << 20)) >> 21;
s7 -= int64_lshift21(carry7);
s7 += carry6;
carry7 = s7 >> 21;
s7 -= int64_lshift21(carry7);
s7 += carry6;
carry7 = s7 >> 21;
s7 -= int64_lshift21(carry7);
s[18] = (s6 >> 18) | (s7 << 3);
s[19] = s7 >> 5;
s[20] = s7 >> 13;
int64_t s7;
s7 = c7 + a0 * b7 + a1 * b6 + a2 * b5 + a3 * b4 + a4 * b3 + a5 * b2 +
s7 += carry6;
carry7 = (s7 + (1 << 20)) >> 21;
s7 -= int64_lshift21(carry7);
s7 += s19 * 666643;
s7 += s18 * 470296;
s7 += carry6;
carry7 = (s7 + (1 << 20)) >> 21;
s7 -= int64_lshift21(carry7);
s7 += s17 * 654183;
s7 -= s16 * 997805;
s7 += s15 * 136657;
s7 -= s14 * 683901;
s7 += carry6;
carry7 = (s7 + (1 << 20)) >> 21;
s7 -= int64_lshift21(carry7);
s7 += carry6;
carry7 = s7 >> 21;
s7 -= int64_lshift21(carry7);
s7 += carry6;
carry7 = s7 >> 21;
s7 -= int64_lshift21(carry7);
s[18] = (s6 >> 18) | (s7 << 3);
s[19] = s7 >> 5;
s[20] = s7 >> 13;
SAVE_REG(s7, S7, frame, bo) ;\
RESTORE_REG(s7, S7, frame, bo) ;\
register_t s7;
{ "s7", (long *)&ddb_regs.s7, FCN_NULL },
uint32_t s0, s1, s2, s3, s4, s5, s6, s7;
s7 = t48 ^ ~t60;
q[0] = s7;