asctime
char *asctime(const struct tm *);
return tmp ? asctime(tmp) : NULL;
fprintf(stderr, "%s\n", asctime(tm));
fprintf(stderr, "%s\n", asctime(tm));
ap = asctime(timp);
ts = asctime(localtime(&machinfo.time));