Random_permutation loading ...