#include <stdio.h>

double foo (double x) ;

void proc() {
   double w ;

   w = foo(1.0)  + 7.9 ;
   printf("%f\n", w) ;
}

main() {
   proc() ;
}