Commenting out DEBUG_TIMER_*