// Cforall extensions int * x21 = 0, x22 = 0; int * x21 = 0, x22 = 0; [20] int y1, y2 = { 1, 2, 3 }; // designators struct { [int] w; } a = { .w : [2] }; struct { int a[3], b; } w [] = { [0].a : {1}, [0].b : 1, [1].a[0] : 2 }; struct { int f1, f2, f3; struct { int g1, g2, g3; } f4[4]; } v7 = { .f1 : 4, f2 : 3, .f4[2] : { .g1 : 3, g3 : 0, }, .f4[3].g3 : 7, };