$ man -f ctime
asctime, asctime_r, ctime, ctime_r, difftime, gmtime, gmtime_r, 
localtime, localtime_r, mktime, timegm, timelocal (3) - convert 
date and time to ASCII