C Contract Pumping