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

  {
# 2 "cilcode.tmp/ex41.c"
  tmp___0 = f();
# 2 "cilcode.tmp/ex41.c"
  if (! tmp___0) {
# 2 "cilcode.tmp/ex41.c"
    tmp___0 = -1;
  }
# 2 "cilcode.tmp/ex41.c"
  return (tmp___0);
}
}
