v0 | (+ 2 (+ v1 2))
