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