The variables are such that w[3] == x_1. From the looks of it, a new x_i is generated the first time you access w[j].