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