TWO0
st->h[0].d = TWO(52)*TWO0;
st->r[0] = r0.d - TWO(52) * TWO0;
st->r[1] = (st->r[0] + TWO(52) * TWO(16) * TWO0) - TWO(52) * TWO(16) * TWO0;
st->s[1] = (st->s[0] + TWO(52) * TWO(16) * TWO0 / TWO96) - TWO(52) * TWO(16) * TWO0 / TWO96;
h0lo = st->h[0].d - TWO(52) * TWO0;
x0 = in0.d - TWO(52) * TWO0;
x0 = in0.d - TWO(52) * TWO0;
st->h[0].d = x0 + TWO(52) * TWO0;