(+ (v0 x) 2) | (+ v1 (+ 1 x))
