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