float r1279(void);
int ir1279(void);
int ir1279range(int imin, int imax);
void setr1279(long iseed);
long iran1(long *idum);
float rran2(long *idum);

