double r8_epsilon ( ); void timestamp ( ); void zero_rc ( double a, double b, double t, double *arg, int *status, double value );