pollution: rand_r
extern int rand_r (unsigned int *__seed) __attribute__ ((__nothrow__ , __leaf__));