v0 | (+ v2 1)
