THBD and hyperinsulinemic hypoglycemia, familial, 4: Atherogenic animals with a hypercoagulable genotype, including FV Leiden mutation, protein C deficiency, thrombomodulin pro/pro mutation, or TFPI deficiency, demonstrated a clearly increased atherosclerotic burden.