TWO96
st->h[3].d = TWO(52)*TWO96;
st->r[6] = r3.d - TWO(52) * TWO96;
st->r[7] = (st->r[6] + TWO(52) * TWO(16) * TWO96) - TWO(52) * TWO(16) * TWO96;
st->s[1] = (st->s[0] + TWO(52) * TWO(16) * TWO0 / TWO96) - TWO(52) * TWO(16) * TWO0 / TWO96;
st->s[3] = (st->s[2] + TWO(52) * TWO(16) * TWO32 / TWO96) - TWO(52) * TWO(16) * TWO32 / TWO96;
st->s[5] = (st->s[4] + TWO(52) * TWO(16) * TWO64 / TWO96) - TWO(52) * TWO(16) * TWO64 / TWO96;
h3lo = st->h[3].d - TWO(52) * TWO96;
x3 = in3.d - TWO(52) * TWO96;
x3 = in3.d - TWO(52) * TWO96;
c2lo = (h2lo + TWO(52) * TWO96) - TWO(52) * TWO96;
c2hi = (h2hi + TWO(52) * TWO96) - TWO(52) * TWO96;
c2lo = (h2lo + TWO(52) * TWO96) - TWO(52) * TWO96;
c2hi = (h2hi + TWO(52) * TWO96) - TWO(52) * TWO96;
st->h[3].d = x3 + TWO(52) * TWO96;
#define TWO130 (TWO96 * TWO(34))