--!TRACE


election_section :
        return min_to_index(tasks.priority);
end section;