pollution: rand_r
int rand_r(unsigned int *); 

pollution: posix_openpt
int posix_openpt(int);