(+ (+ 0 y) x) | (+ 0 (+ x y))
