/* rngheader.h header file for random number generator "rng" */
static int rng_buf_ptr=2048;
static double rng_buf[2048];
void zufall_init(int, int*,double*),zufall(int*,double*);
#define rng (rng_buf_ptr<2048)?rng_buf[rng_buf_ptr++]:\
(zufall(&rng_buf_ptr,rng_buf),rng_buf[rng_buf_ptr++])
/* end header file for random number generator "rng". 
                                      wpp, 18/11/2003*/