v0 | (+ 1 v1)
