v0 | (+ (+ 2 v1) 2)
