(+ v2 1) | (+ 1 v5)
