debugging Permutator