/* Generated by Goblint-CIL v. 2.0.6-15-gfaeb7be */
/* print_CIL_Input is true */

#line 1 "cilcode.tmp/ex11.c"
char *foo  =    "foo  plus  bar ";