pollution: rand_r
extern int rand_r(unsigned int *);