Symbol: dis_section_size