added a eo_constvector_Delete()