start_section : end section; priority_section : put(tasks.rest_of_capacity,0,1); if(simulation_time=11) then tasks.rest_of_capacity(0):=1; end if; end section; election_section : return min_to_index(tasks.period); end section;