char digit_to_ch ( int i );
int get_seed ( void );
int i4_log_10 ( int i );
char *i4_to_s ( int i );
double i4_to_van_der_corput ( int seed, int base );
void i4_to_van_der_corput_sequence ( int seed, int base, int n, double r[] );
double r8_epsilon ( void );
void timestamp ( void );
char *timestring ( void );
double van_der_corput ( void );
int van_der_corput_base_get ( void );
void van_der_corput_base_set ( int base );
int van_der_corput_seed_get ( void );
void van_der_corput_seed_set ( int seed );
void van_der_corput_sequence ( int n, double r[] );
void van_der_corput_write ( int n, int seed, int base, double r[], 
  char *file_out_name );