// 25.ck : array initialization

// array literal reference assign
[1,2,3] @=> int x[];

// test
if( x[0] != 1 )
    <<<"fail">>>;
else
    <<<"success">>>;