../../Task/Knuth-shuffle/XPL0