/*
char id_ctime[] = "@(#)ctime_.c	1.1";
 *
 * convert system time to ascii string
 *
 * calling sequence:
 *	character*24 string, ctime
 *	integer clock
 *	string = ctime (clock)
 * where:
 *	string will receive the ascii equivalent of the integer clock time.
 */

#include	"../libI77/fiodefs.h"
#include	<sys/types.h>

char *ctime();

ctime_(str, len, clock)
char *str; ftnlen len; time_t *clock;
{
	char *s = ctime(clock);
	s[24] = '\0';
	b_char(s, str, len);
}