Bleeding and rebleeding assay
For the tail bleeding assay, mice were anesthetized with ketamine/xylazine (80 mg/kg, 5 mg/kg), the tail prewarmed for 5 min in 10 mL of saline at 37°C in a water bath. The tail was lifted from the saline and a 5 mm tail segment amputated and immediately returned to the saline. Bleeding time was measured as the time between the start of bleeding to cessation of bleeding. With the tail remaining in the same saline solution, the rebleeding time was measured from the time between bleeding cessation and the start of the second bleeding.