rewrite int foo[2*X-1] to verify(X) or to int foo[X?1:-1]