pub unsafe extern "C" fn syscall_keccak_permute(state: *mut [u64; 25])
Executes the Keccak-256 permutation on the given state.