#ifndef _HACK_TIME_H_

#include <sys/time.h>

void do_gettimeofday (struct timeval *);

#endif