--!TRACE


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