float r4_random ( int *s1, int *s2, int *s3 );
float r4_uni ( int *s1, int *s2 );
double r8_random ( int *s1, int *s2, int *s3 );
double r8_uni ( int *s1, int *s2 );
void timestamp ( );