pollution: rand_r
int rand_r (unsigned *);