start_section :
end section;  

priority_section :
   put(tasks.capacity(1));

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