Inherited antithrombin deficiency caused by a mutation in the SERPINC1 gene: A case report