priority_section :
        put(tasks.capacity);
end section;		

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