start_section  start1 :
  quantum : integer :=3;  
  my_prio : array (tasks_range) of integer;
  my_prio:=0;
end section;
 

priority_section partition1_priority :   
   quantum:=quantum-1;
   if quantum = 0
      then quantum:=2;
           my_prio(previously_elected):=my_prio(previously_elected)+1;
   end if; 
end section;
   

election_section partition1_election :
   return min_to_index(my_prio);
end section;