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

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

pollution: CLOCKS_PER_SEC
#define CLOCKS_PER_SEC ((clock_t)128)