(+ 1 v1) | (+ (+ 2 v3) 1)
