pollution: rand_r
int rand_r (unsigned *); 

pollution: wctype
wctype_t wctype(const char *);