start_section : i : integer; i:=0; end section; priority_section : i:=i+1; put(i,0,0); if i > 3 then exit; end if; end section; election_section : return min_to_index(tasks.period); end section;