PROS1 and hyperinsulinemic hypoglycemia, familial, 4: The pulmonary embolism in Case 1 could have been triggered by a previously known protein S deficiency.