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