(v3 x) | (v8 x)
(+ (+ (v0 x) 2) 1) | (+ (+ (+ (+ (+ (v4 x) 1) 2) x) (v7 x)) 1)
