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

#line 1 "cilcode.tmp/ex6.c"
int a1[3]  = {      1,      2,      3};
#line 2 "cilcode.tmp/ex6.c"
int a2[8]  ;