/* Generated by CIL v. 1.3.7 */ /* print_CIL_Input is true */ #line 1 "cilcode.tmp/ex32.c" int x = 5; #line 2 "cilcode.tmp/ex32.c" int f(void) { int x___0 ; { #line 3 x___0 = 3; #line 6 return (x); } }