void InitWELLRNG800av1 (unsigned int *init); void InitWELLRNG800av2 (unsigned int *init); extern double (*WELLRNG800av1) (void); double WELLRNG800av2 (void);