Ligature of arteries, with particular reference to carotid occlusion and the circle of willis