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