(v0 x) | (+ (+ (+ (+ (v4 x) 1) 2) (+ 1 x)) 2)
(v3 x) | (v6 x)
