(+ y (+ 2 (+ y 2))) | (v2 x y)
(+ (+ y (+ 2 (+ y 2))) x) | (+ (v2 x y) x)
