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