--!TRACE start_section : b : boolean := false; i : array (tasks_range) of integer; j : integer; end section; priority_section : if (not b) then j:=100; j:=100; j:=100; j:=100; i(100000):=100; j:=100; end if; put(i,0,0); end section; election_section : return min_to_index(tasks.period); end section;