v1 <- `&x.`
v2 <- `&y.`
v3 <- `&z1.`
v4 <- `&z2.`
v5 <- `&z3.`
v6 <- `&z4.`