1 
2 #include <stdio.h>
3 #include <time.h>
4 
5 int
main(int argc,const char * argv[])6 main(int argc, const char *argv[])
7 {
8     time_t t = time(NULL);
9     fputs(ctime(&t), stdout);
10 }
11 
12