Protease nexin-2/amyloid β-protein precursor limits cerebral thrombosis