PUMPCYCLE(real) (PUMPCYCLE)