start_section :
end section;  

priority_section :
   put(tasks.priority(0));
   put(tasks.priority(1));
   if(simulation_time>3) then
	tasks.priority(3):=7;
	tasks.priority(4):=6;
	tasks.priority(5):=5;
	tasks.priority(2):=4;
	tasks.priority(8):=3;
	tasks.priority(6):=2;
	tasks.priority(7):=1;
   end if;
end section;  
   
   
election_section :
   return min_to_index(tasks.priority);
end section;