anti-pumping device