The characterization of mice with a targeted combined deficiency of protein c and factor XI.