NAME
	ctime - convert a time integer into a string

SYNOPSIS
	string ctime(int time)


DESCRIPTION
	Convert the specified time, which is an integer such as is returned
	by the kfun time(), into a string of the form
	"Tue Aug  3 14:40:18 1993".

SEE ALSO
	kfun/millitime, kfun/time
