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

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

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