Symbol: reset_worker_timer_at