Symbol: hat_exit