(+ 2 (+ 2 v0)) | v1
