pollution: rand_r
int rand_r(unsigned *);