pub static mut gsl_rng_tt800: *const gsl_rng_type