Pseudorandom_permutation loading ...