(+ 1 v0) | (+ v1 1)
