rotate_right

150

uint32 s0 = rotate_right(v0, 7) ^ rotate_right(v0, 18) ^ (v0 >> 3);

151

uint32 s1 = rotate_right(v1, 17) ^ rotate_right(v1, 19) ^ (v1 >> 10);

166

uint32 s0 = rotate_right(a, 2) ^ rotate_right(a, 13)

167

^ rotate_right(a, 22);

170

uint32 s1 = rotate_right(e, 6) ^ rotate_right(e, 11)

171

^ rotate_right(e, 25);