#include <stdio.h>

void print( float);

void main( int argc, char *argv[] )
{
   float x;

   x = 4.0;
   printf("main(): x = %f\n", x);

   print(x);
}