pollution: errnum
char* strerror(int errnum); 

pollution: a
pollution: b
int strcasecmp(const char* a, const char* b); 

pollution: a
pollution: b
pollution: n
int strncasecmp(const char* a, const char* b, size_t n); 

pollution: signum
char* strsignal(int signum);