(+ v0 2) | (+ v1 2)
v0 | v1
