A targeted point mutation in thrombomodulin generates viable mice with a prethrombotic state. | Synapse