export devec