double r8_epsilon ( );
double r8_max ( double x, double y );
double r8_sign ( double x );
void timestamp ( );
void zero_rc ( double a, double b, double t, double &arg, int &status,
  double value );