>The terminating condition should be x == y

That assumes an odd number of elements (true in this case but not in general); I would recommend terminating when x >= y.