(v2 x) | (+ (+ (v7 x) x) (+ 2 (+ 2 2)))
