Symbol: hat_setup