add devectorize.jl