add file test_devec.jl