time_timeval     2300 time.c             return time_timeval(num, TRUE);
time_timeval     2317 time.c             return time_timeval(time, FALSE);