Symbol: scheduler_shutdown