# 1 "cilcode.tmp/ex10.cil.c"
# 1 "<command-line>"
# 1 "cilcode.tmp/ex10.cil.c"
# 1 "cilcode.tmp/ex10.c"
char foo[13] =
# 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'};
