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