Commenting out DEBUG_TIMER_LOG stuff