#include <sys/time.h>
#include <time.h>

static int return_tod =0;
int gettimeofday(struct timeval *tp, void *tzp) {return return_tod++;}