RotLeft128
RotLeft128(s0, s1, s2, s3, 15); /* KA <<< 15 */
RotLeft128(s0, s1, s2, s3, 15); /* KA <<< 30 */
RotLeft128(s0, s1, s2, s3, 15); /* KA <<< 45 */
RotLeft128(s0, s1, s2, s3, 15); /* KA <<< 60 */
RotLeft128(s1, s2, s3, s0, 2); /* KA <<< 94 */
RotLeft128(s1, s2, s3, s0, 17); /* KA <<<111 */
RotLeft128(s0, s1, s2, s3, 15); /* KL <<< 15 */
RotLeft128(s0, s1, s2, s3, 30); /* KL <<< 45 */
RotLeft128(s0, s1, s2, s3, 15); /* KL <<< 60 */
RotLeft128(s0, s1, s2, s3, 17); /* KL <<< 77 */
RotLeft128(s0, s1, s2, s3, 17); /* KL <<< 94 */
RotLeft128(s0, s1, s2, s3, 17); /* KL <<<111 */
RotLeft128(s0, s1, s2, s3, 30); /* KB <<< 30 */
RotLeft128(s0, s1, s2, s3, 30); /* KB <<< 60 */
RotLeft128(s1, s2, s3, s0, 19); /* KB <<<111 */
RotLeft128(s0, s1, s2, s3, 15); /* KR <<< 15 */
RotLeft128(s0, s1, s2, s3, 15); /* KR <<< 30 */
RotLeft128(s0, s1, s2, s3, 30); /* KR <<< 60 */
RotLeft128(s1, s2, s3, s0, 2); /* KR <<< 94 */
RotLeft128(s0, s1, s2, s3, 15); /* KA <<< 15 */
RotLeft128(s0, s1, s2, s3, 30); /* KA <<< 45 */
RotLeft128(s1, s2, s3, s0, 17); /* KA <<< 94 */
RotLeft128(s1, s2, s3, s0, 13); /* KL <<< 45 */
RotLeft128(s1, s2, s3, s0, 15); /* KL <<< 60 */
RotLeft128(s1, s2, s3, s0, 17); /* KL <<< 77 */
RotLeft128(s2, s3, s0, s1, 2); /* KL <<<111 */