Disease: Congenital antithrombin 3 deficiency