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

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

pollution: ts
pollution: base
int timespec_get(struct timespec *ts, int base); 

pollution: pthread_cond
typedef struct pthread_cond *cnd_t; 

pollution: pthread_mutex
typedef struct pthread_mutex *mtx_t; 

pollution: pthread
typedef struct pthread *thrd_t; 

pollution: CLOCKS_PER_SEC
#define CLOCKS_PER_SEC 128