(+ (+ v0 2) 2) | (+ v1 2)
(+ v0 2) | v1
