with Ada.Command_Line, Ada.Text_IO, Ada.Integer_Text_IO, Ada.Float_Text_IO,
     Ada.Exceptions, Zadania, ada.Unchecked_Deallocation, Bufor, Semafor_Bin;
use Ada.Command_Line, Ada.Text_IO, Ada.Integer_Text_IO, Ada.Float_Text_IO,
    Ada.Exceptions, Zadania, Bufor, Semafor_Bin;

procedure Main is
   procedure Free is new Ada.Unchecked_Deallocation
     (Bufor_Obj, Bufor_Obj_Acc);
   procedure Free is new Ada.Unchecked_Deallocation
     (Semafor_Bin.Semafor_Bin, Semafor_Bin.Semafor_Bin_Acc);
   prod1 : Producent(1);
   prod2 : Producent(2);
   prod3 : Producent(3);
   kons1 : Konsument(1);
   kons2 : Konsument(2);

begin
   licznik_prod := 20;
   licznik_kons := 30;
   buf_acc := new Bufor_Obj(5);
   sem_bin_acc := new Semafor_Bin.Semafor_Bin(1);
   buf_acc.Start;
   prod1.Start;
   prod2.Start;
   prod3.Start;
   kons1.Start;
   kons2.Start;
   prod1.Stop;
   prod2.Stop;
   prod3.Stop;
   kons1.Stop;
   kons2.Stop;
   buf_acc.Stop;
   free(buf_acc);
   Free(sem_bin_acc);
   Put(" Koniec programu");New_Line;
end Main;