Heparin cofactor II inhibits thrombus formation in a rat thrombosis model.