(+ v0 1) | (+ 1 v1)
