VecdDecl done