#if 0
#include <time.h>
/** convert arithmetic time to string **/
char * ctime(const time_t * timer)
{
#ifdef _POSIX_SOURCE
tzset();
#endif
return asctime(localtime(timer));
}
/***
converts the time at ARGUMENT(timer) to a string in the same format as
FUNCTION(asctime).
***/
/*
RETURN_ALWAYS(a pointer to the string)
STDC(1)
*/
#endif