#ifndef TIMER
#define TIMER 1

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

void ResetTimer();
double CheckTimer();

#endif