SERPINC1 and Thrombocytopenia: Thrombocytopenia CK elevated, fibrinogen low, ATIII not measurable