subtype Keyb_Type is natural range 48..72;   
     
Polyphony : positive := 24;      
 
      
 
type Chord_Type is array (Positive range 1..Polyphony) of Keyb_Type;
                  
    
      
     
      
Init : Chord_Type := (others => Keyb_Type'First);
Code : array (Keyb_Type'Range) of Boolean := (others => False);
            
      
function Next return Chord_Type is          
     
begin
   Init := (others => Keyb_Type'First);
     
   for I in Code'first..Code'Last-1 loop
      if Code(I) then
         if Code(I+1) then
            null;
         else
            Code(I+1) := True;
            Code(Keyb_Type'First..I) := (others => False);
            exit;
         end if;          
      else
          Code(I) := True;                
          exit;
       end if;        
   end loop;     
     
   declare
      Index : Natural := 0;
   begin
      for I in Code'Range loop
         if Code(I) then
            Init(Index +1) := I;
            Index := Index + 1;
          end if;
          exit when Index = Polyphony-1;
      end loop;
   end;     
   return Init;    
end Next;