Dumpcycle (real) (DUMPCYCLE)