Go forward to difftime
Go backward to clock
Go up to Timefns
Go to the top op libc

`ctime'--convert time to local and format as string

     #include <time.h>
     char *ctime(const time_t *CLOCK);
     char *ctime_r(const time_t *CLOCK, char *BUF);
Convert the time value at CLOCK to local time (like `localtime') and
format it into a string of the form
      Wed Jun 15 11:38:07 1988\n\0
   (like `asctime').
A pointer to the string containing a formatted timestamp.
ANSI C requires `ctime'.
   `ctime' requires no supporting OS subroutines.