--- /dev/null
+#ifndef GJ_TIMES_H
+#define GJ_TIMES_H
+
+#include <sys/types.h>
+#include <sys/times.h>
+#include <limits.h>
+
+void GJ_init_times(void);
+void GJ_show_times(FILE *fp,int action);
+void GJ_reset_times(void);
+char *GJ_get_times(int action);
+
+void copy_tms(struct tms *l,struct tms *r);
+
+#endif /*GJ_TIMES */
+