// PERMUTE_ARGS:
void main()
{
    extern int[1][1] foo;
}