start_section : end section; priority_section : put(tasks.capacity(0)); put(tasks.capacity(1)); if(simulation_time=0) then tasks.capacity(0):=2; end if; end section; election_section : return min_to_index(tasks.priority); end section;