/* Generated by CIL v. 1.3.6 */
/* 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]  ;