clocktos
static char *clocktos ARGS((clock_t t));
shprintf("Shell: %8ss user ", clocktos(all.tms_utime));
shprintf("%8ss system\n", clocktos(all.tms_stime));
shprintf("Kids: %8ss user ", clocktos(all.tms_cutime));
shprintf("%8ss system\n", clocktos(all.tms_cstime));
clocktos(t1t - t0t));
clocktos(tms.tms_utime));
clocktos(tms.tms_stime));