pollution: asctime_r
char *asctime_r(const struct tm * __restrict, char * __restrict); 

pollution: ctime_r
char *ctime_r(const time_t *, char *);