start_section :
   CB_log : array (tasks_range) of integer;
   i : integer;
   for i in tasks_range loop
      CB_log(i):=i;
   end loop;
   minv : integer :=1;
   maxv : integer :=15;
end section;  

priority_section :
   put("coucou");
   put(maxv-1);
   put(minv+1-1);
   put(CB_log);
   put(CB_log, 2, 2);
   put(CB_log, 1, 10);
   put(CB_log, minv, maxv-1);
end section;  
   
   
election_section :
   return min_to_index(tasks.priority);
end section;