/* Generated by CIL v. 1.2.5 */
/* print_CIL_Input is true */

#line 1 "cilcode.tmp/ex10.c"
char foo[13]  = 
#line 1
  {      'f',      'o',      'o',      ' ', 
        'p',      'l',      'u',      's', 
        ' ',      'b',      'a',      'r', 
        '\000'};
