#ifndef __PERMUTE_H__
#define __PERMUTE_H__

/* Permute the given array. Uses rand(3), so seed as desired.
 * Adapted from an algorithm written by John David Stone */
void
permute (int array[], size_t len);

#endif