pollution: srand_deterministic
void srand_deterministic(unsigned); 

pollution: rand_r
int rand_r(unsigned int *); 

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

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

pollution: srand48_deterministic
void srand48_deterministic(long); 

pollution: srandom_deterministic
void srandom_deterministic(unsigned int);