(v0 x) | (+ 1 x)
(+ (+ 1 x) v1) | (+ 1 x)
