x | (+ x 1)
