swap_byte
swap_byte(&state[counter], &state[index2]);
swap_byte(&state[x], &state[y]);
static void swap_byte(unsigned char *a, unsigned char *b);