(ite (<= (+ x 2) 0) 1 (+ 2 (+ 2 2))) | (v0 x)
