/* Maxima has an implementation of Knuth shuffle */
random_permutation([a, b, c]);