/* gsl_ran_switch.h */
void gsl_ran_use_default(void);
void gsl_ran_use_taus(void);
void gsl_ran_use_mrg(void);
void gsl_ran_use_cmrg(void);
void gsl_ran_use_uni(void);
void gsl_ran_use_uni32(void);
void gsl_ran_use_zuf(void);
void gsl_ran_use_rand(void);