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

#line 1 "cilcode.tmp/ex41.c"
extern int f() ;
#line 1 "cilcode.tmp/ex41.c"
int main(void) 
{ 
  int tmp___0 ;

  {
#line 2
  tmp___0 = f();
#line 2
  if (! tmp___0) {
#line 2
    tmp___0 = -1;
  }
#line 2
  return (tmp___0);
}
}
