(+ 1 2) | (+ 0 1)
