abstract contract foo {
            bool[-10 + 10] x;
        }