S11
FF (a, b, c, d, x[ 0], S11, 0xd76aa478); /* 1 */
FF (a, b, c, d, x[ 4], S11, 0xf57c0faf); /* 5 */
FF (a, b, c, d, x[ 8], S11, 0x698098d8); /* 9 */
FF (a, b, c, d, x[12], S11, 0x6b901122); /* 13 */
FF (a, b, c, d, x[ 0], S11, 0xd76aa478); /* 1 */
FF (a, b, c, d, x[ 4], S11, 0xf57c0faf); /* 5 */
FF (a, b, c, d, x[ 8], S11, 0x698098d8); /* 9 */
FF (a, b, c, d, x[12], S11, 0x6b901122); /* 13 */
S11 231.25
S11 231.25
S11 231.25
FF (a, b, c, d, x[ 0], S11, 0xd76aa478); /* 1 */
FF (a, b, c, d, x[ 4], S11, 0xf57c0faf); /* 5 */
FF (a, b, c, d, x[ 8], S11, 0x698098d8); /* 9 */
FF (a, b, c, d, x[12], S11, 0x6b901122); /* 13 */
FF (a, b, c, d, x[ 0], S11, 0xd76aa478); /* 1 */
FF (a, b, c, d, x[ 4], S11, 0xf57c0faf); /* 5 */
FF (a, b, c, d, x[ 8], S11, 0x698098d8); /* 9 */
FF (a, b, c, d, x[12], S11, 0x6b901122); /* 13 */
S11 = -0.38680813379701966970673724299207480965452616911420e-22,
z*(S9+z*(S10+z*(S11+z*S12))))))))))