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

#line 3 "cilcode.tmp/ex37.c"
int foo(void) ;
#line 1 "cilcode.tmp/ex37.c"
int foo(void) 
{ 


  {
#line 5
  return (0);
}
}
