* Note that the cycles are counted _after_ the initialization of the RTS -- AR */
statsPrintf(" -- CPU Mutator counters --\n");
* Note that the cycles are counted _after_ the initialization of the RTS -- AR */
statsPrintf(" -- CPU Mutator counters --\n");