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