Martius Scarlet Blue staining of lung sections. Mice under baseline conditions (A) compared with thromboembolism-induced mice on MA-T30E5A2 (B,D) or MA-TCK26D6 (C) treatment. Pink represents fibrin stain; yellow-brown, red blood cells; gray, platelets; and blue, connective tissue. *The presence of a platelet-fibrin thrombus. **Platelet-fibrin thrombus of panel B is magnified in panel D.