mv get_timers inside Timer and use a default clock set to high_resolution_clock