--!TRACE

start_section :

	i : integer;
	j : integer;
	d : array (tasks_range) of integer;

end section;


priority_section :
	
	for tasksj in tasks_range loop
		j:=10;
		for i in tasks_range loop
			i:=11;
			i:=12;
		end loop;
	end loop;			
	
	while true loop
		j:=13;
	end loop;
	
end section;


election_section :

        return max_to_index(d);

end section;