#include <time.h>

double difftime(time_t t1, time_t t0)
{
	return t1-t0;
}


#ifdef TEST
int
main(void) {
	return 0;
}
#endif