Symbol: region_tail