pub fn keccak_f1600(st: &mut [u64; 25])
The Keccak-f[1600] permutation: 24 rounds of θ, ρ·π, χ, ι over the 5×5×64 state.