see Intermittent pneumatic compression.