#include <sys/times.h>

void pr_times( FILE * fp, clock_t real, struct tms * tmsstart,
								struct tms * tmsend );