v0 | (+ (+ 2 v1) 1)
