dumpcycle (real) (DUMPCYCLE)