PUMPCYCLE (REAL) (PUMPCYCLE)