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