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

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