(v3 x) | (v8 x)
(+ y 2) | (+ (+ y 1) 1)
