pollution: tp
pollution: tzp
pollution: gettimeofday
int gettimeofday(struct timeval* restrict tp, void* restrict tzp);