void shuffle(list l) { integer i; i = ~l; if (i) { i -= 1; while (i) { l.spin(i, drand(i)); i -= 1; } } }