PROS1 and hyperinsulinemic hypoglycemia, familial, 4: Stent thrombosis caused by metal allergy complicated by protein S deficiency and heparin-induced thrombocytopenia: a case report and review of the literature.