(+ x 1) | x
(+ (v0 x) 1) | (w2 x)
