v0 | (+ v1 1)
