--  -*- ada-indent-label: -4 -*-
procedure Adacore_D304_005_2 is
   procedure Io_Page_Menu_Check is
      procedure Io_Page_Menu_Check_Kds is
      begin
     Check_Page_Choice :
         declare
         begin
            begin
               null;
            end;
         end Check_Page_Choice;
      end Io_Page_Menu_Check_Kds;
   begin
      null;
   end Io_Page_Menu_Check;
begin
   null;
end Adacore_D304_005_2;
--
