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