(+ 1 v0) | v2
(v1 x) | (+ (+ (+ 1 x) x) 2)
