KECCAK_ROTL
KECCAK_ROTL(Idx(BCD, (x + 1) % 5, 0), 1); \
KECCAK_ROTL(Idx(A, x, y), keccak_rot[x][y]); \