v0 | (+ 1 (+ 2 v2))
