Symbol: concat_main