Statins and stent thrombosis.