start_section  start1 :
 v1 : integer;
 v2 : boolean;
 v1:=0;
 v2:=true;

 tv1 : array (tasks_range) of integer;
 tv2 : array (processors_range) of boolean;
 tv1:=100;
 tv1(4):=1;
 tv2:=true;
 tv2(4):=false;
end section;
 

priority_section partition1_priority :   
  put(v1);
  put(v2);
  put(tv1,0,5);
  put(tv2,2,5); 
  
  v1:=v1+100;
  v2:= not v2;
end section;
   

election_section partition1_election :
   return max_to_index(tasks.priority);
end section;