(ite (<= (+ 2 x) 0) y 1) | (v2 x y)
