TWO64
st->h[2].d = TWO(52)*TWO64;
st->r[4] = r2.d - TWO(52) * TWO64;
st->r[5] = (st->r[4] + TWO(52) * TWO(16) * TWO64) - TWO(52) * TWO(16) * TWO64;
st->s[5] = (st->s[4] + TWO(52) * TWO(16) * TWO64 / TWO96) - TWO(52) * TWO(16) * TWO64 / TWO96;
h2lo = st->h[2].d - TWO(52) * TWO64;
x2 = in2.d - TWO(52) * TWO64;
x2 = in2.d - TWO(52) * TWO64;
c1lo = (h1lo + TWO(52) * TWO64) - TWO(52) * TWO64;
c1hi = (h1hi + TWO(52) * TWO64) - TWO(52) * TWO64;
c1lo = (h1lo + TWO(52) * TWO64) - TWO(52) * TWO64;
c1hi = (h1hi + TWO(52) * TWO64) - TWO(52) * TWO64;
st->h[2].d = x2 + TWO(52) * TWO64;
#define TWO96 (TWO64 * TWO(32))