pollution: rand_r
int rand_r(unsigned int *); 

pollution: mktemp
char *mktemp(char *) ; 

pollution: ttyslot
int ttyslot(void); 

pollution: valloc
void *valloc(size_t);