#ifndef HDR_PRNG
#define HDR_PRNG

float ran1real_();

float ran2real_();

double ran1double_();

double ran2double_();

int ranint_(int nmax);

void initran_(unsigned int *n);
//void		ran_read( );
//void		ran_write( );
#endif //HDR_PRNG
