/* Generated by CIL v. 1.3.7 */
/* print_CIL_Input is true */

#line 1 "cilcode.tmp/ex5.c"
int f(double x ) ;
#line 3
int g(double x ) ;
#line 2 "cilcode.tmp/ex5.c"
int f(double x ) 
{ int tmp ;

  {
#line 3
  tmp = g(x);
#line 3
  return (tmp);
}
}
#line 5 "cilcode.tmp/ex5.c"
int g(double x ) 
{ 

  {
#line 6
  return ((int )x);
}
}