(+ 2 (+ (+ x 2) (+ (+ x 2) (+ 1 2)))) | (w0 x)
