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