PROS1 and hyperinsulinemic hypoglycemia, familial, 4: Congenital Protein S deficiency was diagnosed postoperatively.