add vreduce.jl