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