netbsd32_time50_t
netbsd32_time50_t tv_sec; /* seconds */
s32p->tv_sec = (netbsd32_time50_t)p->tv_sec;
tv32->tv_sec = (netbsd32_time50_t)tv->tv_sec;