Symbol: dis_section_name