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