start_section :

   -- This declaration must raise an exception 
   --
   i : boolean := 4;

   j : integer;

   -- This assignment must raise an exception 
   --   
   i:=j;
   
end section;
   
      
election_section :
   return min_to_index(tasks.period);
end section;