The carotid stump syndrome