add misc.rand_permutation