rem: t = seconds_since_boot - pp->start_time / Hertz;
add: t = seconds_since_boot - (unsigned long)(pp->start_time / Hertz);
context: static int pr_etime(void){  unsigned long long t;  unsigned dd,hh,mm,ss;  char *cp = outbuf;  t = seconds_since_boot - pp->start_time / Hertz;  ss = t%60;  t /= 60;  mm = t%60;  t /= 60;  hh = t%24;  t /= 24;  dd = t;  cp +=(     dd      ?  snprintf(cp, COLWID, "%u-", dd)           :  0 );  cp +=( (dd || hh)  ?  snprintf(cp, COLWID, "%02u:", hh)         :  0 );  cp +=                 snprintf(cp, COLWID, "%02u:%02u", mm, ss)       ;  return (int)(cp-outbuf);}