202122232425262728
uniform PRNG = new uniform(); for(int i=0; i<10; i++) //System.err.println( normal.random(0.0,1.0, PRNG) ); System.err.println( PRNG.random() ); } }