/* ECP: FILEname=fig4_7.c */
/* 1*/   #include <stdio.h>
/* 2*/   #include <math.h>

/* 3*/   main( void )
/* 4*/   {
/* 5*/          /* Prints 5 2.236068 */
/* 6*/       printf( "%d %f\n", 5, sqrt( 5 ) );
/* 7*/   }