/* 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); } }