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