Symbol: main_shutdown