double drand48(void);
void srand48(UINT32);