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