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