pollution: f
extern int at_quick_exit (void (*f)(void)); 

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