S31
HH (a, b, c, d, x[ 5], S31, 0xfffa3942); /* 33 */
HH (a, b, c, d, x[ 1], S31, 0xa4beea44); /* 37 */
HH (a, b, c, d, x[13], S31, 0x289b7ec6); /* 41 */
HH (a, b, c, d, x[ 9], S31, 0xd9d4d039); /* 45 */
HH (a, b, c, d, x[ 5], S31, 0xfffa3942); /* 33 */
HH (a, b, c, d, x[ 1], S31, 0xa4beea44); /* 37 */
HH (a, b, c, d, x[13], S31, 0x289b7ec6); /* 41 */
HH (a, b, c, d, x[ 9], S31, 0xd9d4d039); /* 45 */
S31 383.25
S31 383.25
S31 383.25
HH (a, b, c, d, x[ 5], S31, 0xfffa3942); /* 33 */
HH (a, b, c, d, x[ 1], S31, 0xa4beea44); /* 37 */
HH (a, b, c, d, x[13], S31, 0x289b7ec6); /* 41 */
HH (a, b, c, d, x[ 9], S31, 0xd9d4d039); /* 45 */
HH (a, b, c, d, x[ 5], S31, 0xfffa3942); /* 33 */
HH (a, b, c, d, x[ 1], S31, 0xa4beea44); /* 37 */
HH (a, b, c, d, x[13], S31, 0x289b7ec6); /* 41 */
HH (a, b, c, d, x[ 9], S31, 0xd9d4d039); /* 45 */