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