Is it? I am pretty sure that v[x] where x >= n is UB.