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