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

#line 1 "cilcode.tmp/ex32.c"
int x  =    5;
#line 2 "cilcode.tmp/ex32.c"
int f(void) 
{ 
  int x___0 ;

  {
#line 3
  x___0 = 3;
#line 6
  return (x);
}
}
