Converts a time in seconds, since 00:00:00 January 1, 1970, to an
    ASCII string in the form generated by the asctime function.

    Format

      #include  <time.h>

      char *ctime  (const time_t *bintim);

      char *ctime_r  (const time_t *bintim, char *buffer);
                           (ISO POSIX-1)