Symbol: valid_section_nr