(+ v1 1) | (+ v3 2)
