00001 00002 extern void ranlxd(double r[],int n); 00003 extern void rlxd_init(int level,int seed); 00004 extern int rlxd_size(void); 00005 extern void rlxd_get(int state[]); 00006 extern void rlxd_reset(int state[]); 00007