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