@ -9,4 +9,14 @@
char * datestring(void);
double seconds(void);
#ifndef HAVE_GETRUSAGE
#ifndef HAVE_TIMES
#ifdef HAVE_FTIME
void timediff(struct timeb *, struct timeb *, int *, int *);
#endif