It's okay for symbolic spec-consts, but without constant folding, not okay when the array size is an expression.