add devec.jl