(+ v0 1) | (+ v1 2)
