procedure Blank_Lines_Insertion
is

   type A_Type is new Integer;
   Int : Integer;

begin
   if True
   then
      null;

   elsif True
   then
      null;

   else
      null;
   end if;

   while True
   loop
      null;
   end loop;

   loop
      null;
      exit when True;
   end loop;

   for Index in 1 .. 10
   loop
      null;
   end loop;

   case Int is
      when 0 =>
         null;

      when 1 =>
         null;

      when others =>
         null;
   end case;

   begin
      null;
   end;

   declare

      I : Integer;

   begin
      null;
   end;
end Blank_Lines_Insertion;
