double local_min_rc ( double &a, double &b, int &status, double value );
double r8_epsilon ( );
double r8_sign ( double x );
void timestamp ( );