push (@detected_sections, %section_int);