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