(+ 2 v0) | (+ v1 1)
