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

void main()
  {
    time_t time_of_day;
    char buffer[ 80 ];

    time_of_day = time( NULL );
    strftime( buffer, 80, "Today is %A %B %d, %Y",
	       localtime( &time_of_day ) );
    printf( "%s\n", buffer );
  }
//************ Sample program output ************
//Today is Friday December 25, 1987
