/* --------------------------------------------------------------------- 
** Figure 13.18:  Printing the date and time.
** --------------------------------------------------------------------- 
*/
#include "tools.h"                          
  
void main( void )                                               
{ 
    char date[16];           /* Array for date with 16 chars. */    
    char time [9];           /* Array for time with 9 chars. */ 

    printf( "\n Date: \%s \n", today( date ) ); 
    printf( " Time: \%s \n", oclock( time ) ); 

    when( date, time );                                         
    printf( "\n Today is \%s at \%s \n", date, time );
}