v0 | (+ 2 v1)
