S13
FF (c, d, a, b, x[ 2], S13, 0x242070db); /* 3 */
FF (c, d, a, b, x[ 6], S13, 0xa8304613); /* 7 */
FF (c, d, a, b, x[10], S13, 0xffff5bb1); /* 11 */
FF (c, d, a, b, x[14], S13, 0xa679438e); /* 15 */
FF (c, d, a, b, x[ 2], S13, 0x242070db); /* 3 */
FF (c, d, a, b, x[ 6], S13, 0xa8304613); /* 7 */
FF (c, d, a, b, x[10], S13, 0xffff5bb1); /* 11 */
FF (c, d, a, b, x[14], S13, 0xa679438e); /* 15 */
S13 245.25
S13 245.25
S13 245.25
FF (c, d, a, b, x[ 2], S13, 0x242070db); /* 3 */
FF (c, d, a, b, x[ 6], S13, 0xa8304613); /* 7 */
FF (c, d, a, b, x[10], S13, 0xffff5bb1); /* 11 */
FF (c, d, a, b, x[14], S13, 0xa679438e); /* 15 */
FF (c, d, a, b, x[ 2], S13, 0x242070db); /* 3 */
FF (c, d, a, b, x[ 6], S13, 0xa8304613); /* 7 */
FF (c, d, a, b, x[10], S13, 0xffff5bb1); /* 11 */
FF (c, d, a, b, x[14], S13, 0xa679438e); /* 15 */