S42
II (d, a, b, c, x[ 7], S42, 0x432aff97); /* 50 */
II (d, a, b, c, x[ 3], S42, 0x8f0ccc92); /* 54 */
II (d, a, b, c, x[15], S42, 0xfe2ce6e0); /* 58 */
II (d, a, b, c, x[11], S42, 0xbd3af235); /* 62 */
II (d, a, b, c, x[ 7], S42, 0x432aff97); /* 50 */
II (d, a, b, c, x[ 3], S42, 0x8f0ccc92); /* 54 */
II (d, a, b, c, x[15], S42, 0xfe2ce6e0); /* 58 */
II (d, a, b, c, x[11], S42, 0xbd3af235); /* 62 */
II (d, a, b, c, x[ 7], S42, 0x432aff97); /* 50 */
II (d, a, b, c, x[ 3], S42, 0x8f0ccc92); /* 54 */
II (d, a, b, c, x[15], S42, 0xfe2ce6e0); /* 58 */
II (d, a, b, c, x[11], S42, 0xbd3af235); /* 62 */
II (d, a, b, c, x[ 7], S42, 0x432aff97); /* 50 */
II (d, a, b, c, x[ 3], S42, 0x8f0ccc92); /* 54 */
II (d, a, b, c, x[15], S42, 0xfe2ce6e0); /* 58 */
II (d, a, b, c, x[11], S42, 0xbd3af235); /* 62 */