package body Discr56_Pkg1 is

   protected body Buffer is
   end Buffer;

end Discr56_Pkg1;