/* normal.h */

double normal_rand (void);