pollution: srand_deterministic
void srand_deterministic(unsigned); 

pollution: rand_r
int rand_r(unsigned int *); 

pollution: drand48
double drand48(void); 

pollution: erand48
double erand48(unsigned short[3]); 

pollution: jrand48
long jrand48(unsigned short[3]); 

pollution: lcong48
void lcong48(unsigned short[7]); 

pollution: lcong48_deterministic
void lcong48_deterministic(unsigned short[7]); 

pollution: lrand48
long lrand48(void); 

pollution: mrand48
long mrand48(void); 

pollution: nrand48
long nrand48(unsigned short[3]); 

pollution: seed48
unsigned short *seed48(unsigned short[3]); 

pollution: seed48_deterministic
unsigned short *seed48_deterministic(unsigned short[3]); 

pollution: srand48
void srand48(long); 

pollution: srand48_deterministic
void srand48_deterministic(long); 

pollution: putenv
int putenv(char *); 

pollution: a64l
long a64l(const char *); 

pollution: l64a
char *l64a(long); 

pollution: initstate
char *initstate(unsigned int, char *, size_t) __attribute__((__bounded__ (__string__,2,3))); 

pollution: random
long random(void); 

pollution: setstate
char *setstate(char *); 

pollution: srandom
void srandom(unsigned int); 

pollution: srandom_deterministic
void srandom_deterministic(unsigned int); 

pollution: ptsname
char *ptsname(int); 

pollution: grantpt
int grantpt(int); 

pollution: unlockpt
int unlockpt(int); 

pollution: posix_openpt
int posix_openpt(int);