(+ (+ 2 v2) 1) | v7
(v0 x) | (+ (v3 x) (v5 x))
