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