TWO32
st->h[1].d = TWO(52)*TWO32;
st->r[2] = r1.d - TWO(52) * TWO32;
st->r[3] = (st->r[2] + TWO(52) * TWO(16) * TWO32) - TWO(52) * TWO(16) * TWO32;
st->s[3] = (st->s[2] + TWO(52) * TWO(16) * TWO32 / TWO96) - TWO(52) * TWO(16) * TWO32 / TWO96;
h1lo = st->h[1].d - TWO(52) * TWO32;
x1 = in1.d - TWO(52) * TWO32;
x1 = in1.d - TWO(52) * TWO32;
c0lo = (h0lo + TWO(52) * TWO32) - TWO(52) * TWO32;
c0hi = (h0hi + TWO(52) * TWO32) - TWO(52) * TWO32;
c0lo = (h0lo + TWO(52) * TWO32) - TWO(52) * TWO32;
c0hi = (h0hi + TWO(52) * TWO32) - TWO(52) * TWO32;
st->h[1].d = x1 + TWO(52) * TWO32;
#define TWO64 (TWO32 * TWO(32))