00001 #include "common.h" 00002 00003 void seed_rng(void); 00004 double frand(double fmin, double fmax); 00005 u32 sizerand(u32 sizemax);