1#include <time.h>
2
3char *ctime(const time_t *t)
4{
5	return asctime(localtime(t));
6}
7