#ifndef _RAN_RANLUX_SEEN_
#define _RAN_RANLUX_SEEN_
double ran_ranlux(int *seed, void **);
#endif