Static Array Invalidation <i><font size=-2>(opt)</font></i> Problem