x | (+ (+ (+ 1 x) (+ v3 1)) x)
