let shuffle a = for n = ((Array.length a) - 1) downto 0 do Random.self_init (); let k = Random.int (n + 1) in let temp = a.(n) in a.(n) <- a.(k); a.(k) <- temp done