v1 | (+ (+ v4 2) 2)
