AC_HZ
expand(ab.ac_stime))/AC_HZ);
(void)printf(" %6.2f us", expand(ab.ac_utime)/AC_HZ);
(void)printf(" %6.2f sy", expand(ab.ac_stime)/AC_HZ);
(void)printf(" %8.2f es", expand(ab.ac_etime)/AC_HZ);
t += (time_t)(expand(ab.ac_etime)/AC_HZ);