(+ 1 (+ 2 (+ 2 v0))) | (+ v1 1)
