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