rotl64
s1 = rotl64(x07 + x3, 5); \
s2 = rotl64(x07 + x6, 15); \
s5 = rotl64(x04 + x23 + x5, 40); \
s6 = rotl64(x17 + x56 + x0, 50); \
s3 = rotl64(x26 + x7, 22); \
s4 = rotl64(x26 + x1, 31); \
s7 = rotl64(x26 + x4, 59); \
t2 = rotl64(y05 + y3, 19); \
t1 = rotl64(y04 + y6, 10); \
t4 = rotl64(y04 + y5, 36); \
t3 = rotl64(y37 + y2, 29); \
t7 = rotl64(y37 + y0, 55); \
t5 = rotl64(y27 + y4, 44); \
t6 = rotl64(y27 + y1, 48); \