# CONFIG_DEBUG_OBJECTS_TIMERS is not set
