S12
FF ( d, a, b, c, in[ 1], S12, 3905402710UL); /* 2 */
FF ( d, a, b, c, in[ 5], S12, 1200080426UL); /* 6 */
FF ( d, a, b, c, in[ 9], S12, 2336552879UL); /* 10 */
FF ( d, a, b, c, in[13], S12, 4254626195UL); /* 14 */
S12 = 0.64038150078671872796678569586315881020659912139412e-25;
z*(S9+z*(S10+z*(S11+z*S12)))))))));
z * (S9 + z * (S10 + z * (S11 + z * S12)))))))));
S12 = 0.64038150078671872796678569586315881020659912139412e-25;
FF ( d, a, b, c, in[ 1], S12, UL(3905402710)); /* 2 */
FF ( d, a, b, c, in[ 5], S12, UL(1200080426)); /* 6 */
FF ( d, a, b, c, in[ 9], S12, UL(2336552879)); /* 10 */
FF ( d, a, b, c, in[13], S12, UL(4254626195)); /* 14 */
FF (d, a, b, c, x[ 1], S12); /* 2 */
FF (d, a, b, c, x[ 5], S12); /* 6 */
FF (d, a, b, c, x[ 9], S12); /* 10 */
FF (d, a, b, c, x[13], S12); /* 14 */