S23
GG ( c, d, a, b, in[11], S23, 643717713UL); /* 19 */
GG ( c, d, a, b, in[15], S23, 3634488961UL); /* 23 */
GG ( c, d, a, b, in[ 3], S23, 4107603335UL); /* 27 */
GG ( c, d, a, b, in[ 7], S23, 1735328473UL); /* 31 */
RETURNI(((((((((((S25*dx2 + S23)*dx2 +
S23 = 3.8679983530666939e-23, /* 0x17617002b73afc.0p-127 */
GG ( c, d, a, b, in[11], S23, UL( 643717713)); /* 19 */
GG ( c, d, a, b, in[15], S23, UL(3634488961)); /* 23 */
GG ( c, d, a, b, in[ 3], S23, UL(4107603335)); /* 27 */
GG ( c, d, a, b, in[ 7], S23, UL(1735328473)); /* 31 */
GG (c, d, a, b, x[ 8], S23); /* 19 */
GG (c, d, a, b, x[ 9], S23); /* 23 */
GG (c, d, a, b, x[10], S23); /* 27 */
GG (c, d, a, b, x[11], S23); /* 31 */