(n.) One who pumps; the instrument or machine used in pumping.