x | (ite (<= x 0) (+ 0 x) x)
