what does a cock pump do