#include <time.h>
#include <stdio.h>

main(void)
{
  time_t timer;

  timer=time(NULL);
  // Formato retornado pela asctime: DDD MMM dd hh:mm:ss YYYY
  printf("The current time is %s.\n",asctime(localtime(&timer)));
}