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