dotime
if (dotime(argv[1], &secs, &nsecs))
if (dotime(argv[1], &secs, &nsecs))
if (dotime(argv[1], &secs, &nsecs))
if (dotime(argv[1], &secs, &nsecs))
dotime();
void dotime(void);
void print_date(char *buf, time_t t, int dotime);