Historical overview of varicose vein surgery.