1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
/* Generated by CIL v. 1.3.5 */ /* print_CIL_Input is true */ #line 327 "/usr/include/stdio.h" extern int printf(char const * __restrict __format , ...) ; #line 7 "cilcode.tmp/ex22.c" int main(void) { { #line 9 printf((char const * __restrict )"Hello world\n"); #line 10 return (0); } }