start_section :
end section;  

priority_section :
   put(processors.speed);
   if(simulation_time>1) then
	processors.speed:=2;
   end if;
end section;  
   
   
election_section :
   return min_to_index(tasks.priority);
end section;