--!TRACE


priority_section:
        tasks.deadline := tasks.deadline +1; 
        put(tasks.deadline,0,10);
end section;
	

election_section:
        return min_to_index(tasks.deadline);
end section;