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