#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 */