/* Generated by CIL v. 1.3.7 */ /* print_CIL_Input is true */ #line 1 "cilcode.tmp/ex10.c" char foo[13] = #line 1 "cilcode.tmp/ex10.c" { (char )'f', (char )'o', (char )'o', (char )' ', (char )'p', (char )'l', (char )'u', (char )'s', (char )' ', (char )'b', (char )'a', (char )'r', (char )'\000'};