(v2 x) | (+ 2 (+ (v4 x) 1))
