[L9]        static char array[1024 * 1024] = { 1 };
[L9]        static char array[1024 * 1024] = { 1 };
[L9]        static char array[1024 * 1024] = { 1 };
[L8]        //@ assert 0;
      VAL   [array={4:0}]