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