priority_section :

   put(nb_tasks,0,0);
   put(nb_processors,0,0);
   put(nb_address_spaces,0,0);
   put(nb_resources,0,0);
   put(nb_buffers,0,0);
   put(simulation_time,0,0);
   put(simulation_length,0,0);
   put(nb_tasks,0,0);
   put(nb_tasks,0,0);

end section;

election_section :

   return min_to_index(tasks.period);

end section;