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

  {
# 2 "cilcode.tmp/ex18.c"
  tmp___0 = f();
# 2 "cilcode.tmp/ex18.c"
  if (! tmp___0) {
# 2 "cilcode.tmp/ex18.c"
    tmp___0 = 4;
  }
# 2 "cilcode.tmp/ex18.c"
  return (tmp___0);
}
}
