void sf_randn (int nr, float *r /* [nr] */) /*< fill an array with normally distributed numbers >*/ { ... }