/* ECP: FILEname=fig12_6.c */
/* 1*/   #include <stdio.h>

/* 2*/   main( void )
/* 3*/   {
/* 4*/       double X;

/* 5*/       scanf( "%f", &X );              /* 3 */
/* 6*/       printf( "%f\n", X );            /* 32.000000 */
/* 7*/       printf( "%lf\n", X );           /* Undefined */
/* 8*/       scanf( "%lf", &X );             /* 3 */
/* 9*/       printf( "%f\n", X );            /* 3.000000 */
/*10*/       printf( "%lf\n", X );           /* Undefined */

/*11*/       return 0;
/*12*/   }