/* Generated by CIL v. 1.3.7 */ /* print_CIL_Input is true */ #line 277 "/usr/include/stdio.h" extern int printf(char const * , ...) ; #line 7 "cilcode.tmp/ex22.c" int main(void) { { #line 9 printf("Hello world\n"); #line 10 return (0); } }
/* Generated by CIL v. 1.3.7 */ /* print_CIL_Input is true */ #line 277 "/usr/include/stdio.h" extern int printf(char const * , ...) ; #line 7 "cilcode.tmp/ex22.c" int main(void) { { #line 9 printf("Hello world\n"); #line 10 return (0); } }