__posix_ctime_r
extern char *__posix_ctime_r(const time_t *, char *);
#define ctime_r __posix_ctime_r
return (__posix_ctime_r(__time, __buf));