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