(v0 x) | (+ x (+ (+ 2 (+ 2 (+ 2 (+ 2 2)))) 2))
x | (+ x (+ x (+ (+ 2 (+ 2 (+ 2 (+ 2 2)))) 2)))
