rand_cauchy       195 rand-test.c        else if (strcmp(generator,"cauchy")==0)   x = rand_cauchy();
rand_cauchy        51 rand.h         double rand_cauchy (void);	/* Cauchy centred at zero with unit width */