--!TRACE

start_section :

	a : array (tasks_range) of double;	
	b : array (tasks_range) of integer;	
	c : array (tasks_range) of boolean;	
	f : double;
	g : integer;
	h : boolean;
	y : integer := 10;
	j : integer := 10;
	z : double := 10.5;
	z2 : double := 0.520;
	h2 : boolean := false;
	h2:=true;
	h2:=false;
	yoyo : integer;
	i : integer;
	
end section;

priority_section :

	put(h2);
	f:=10.0;
	g:=g+1;
	y:=10;

        return max_to_index(tasks.priority);

end section;

election_section :
	y:=10;
end section;

check_resource_section :
end section;

release_resource_section :
end section;

allocate_resource_section :
end section;