double randlc ( double *x );
double randlc_jump ( double x, int k );
void timestamp ( void );