v0 | (+ v1 2)
