procedure Main is
   Cant_Be_Pulled_Up : Natural;

begin
   declare
      --  Some comments
      type Infiltrated_Type_1 is new Integer; type Infiltrated_Type_2 is new Integer; type My_Natural is new Natural range 0 .. 20; --  Some comments

   begin
      null;
   end;
end Main;
