void normal_01_cdf_values ( int *n_data, double *x, double *fx );
double ppnd ( double p, int *ifault );
double r8_abs ( double x );
void timestamp ( void );