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

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

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