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