pr_ntime
printf(" tso=%s", pr_ntime(icp->icmp_otime));
printf(" tsr=%s", pr_ntime(icp->icmp_rtime));
printf(" tst=%s", pr_ntime(icp->icmp_ttime));
static char *pr_ntime(n_time);