#include <stdio.h>

int foo(int) ;

void proc() {
   int x = 19 ;

   printf("%d\n", foo(x)) ;
}

main() {

   proc() ; 
}