(+ v0 2) | (+ 2 (+ 2 (+ 2 (+ 2 2))))
(+ (+ (+ x 1) (+ v0 2)) (+ (+ 2 (+ 2 (+ 2 2))) 1)) | (+ (+ (+ 2 (+ 2 (+ 2 2))) (+ (+ 0 x) (+ 2 (+ 2 (+ 2 (+ 2 2)))))) 2)
