pollution: asctime_r
char *asctime_r(const struct tm *__restrict, char *__restrict) __attribute__ ((__bounded__(__minbytes__,2,26))); 

pollution: ctime_r
char *ctime_r(const time_t *, char *) __attribute__ ((__bounded__(__minbytes__,2,26)));