procedure Loop_Then is
   X_012345, X_0123456, X_01234567, X_012345678,
   X_0123456789, X_01234567890, X_012345678901, X_0123456789012,
   X_01234567890123, X_012345678901234, X_0123456789012345,
   X_01234567890123456, X_012345678901234567, X_0123456789012345678,
   X_01234567890123456789 : Boolean := True;
begin
   if X_0123456789 = X_012345 then
      null;
   elsif X_0123456789 = X_012345 then
      null;
   end if;
   if X_0123456789 = X_0123456 then
      null;
   elsif X_0123456789 = X_0123456 then
      null;
   end if;
   if X_0123456789 = X_01234567 then
      null;
   elsif X_0123456789 = X_01234567 then
      null;
   end if;
   if X_0123456789 = X_012345678 then
      null;
   elsif X_0123456789 = X_012345678 then
      null;
   end if;
   if X_0123456789 = X_0123456789 then
      null;
   elsif X_0123456789 = X_0123456789 then
      null;
   end if;
   if X_0123456789 = X_01234567890 then
      null;
   elsif X_0123456789 = X_01234567890 then
      null;
   end if;
   if X_0123456789 = X_012345678901 then
      null;
   elsif X_0123456789 = X_012345678901 then
      null;
   end if;
   if X_0123456789 = X_0123456789012 then
      null;
   elsif X_0123456789 = X_0123456789012 then
      null;
   end if;
   if X_0123456789 = X_01234567890123 then
      null;
   elsif X_0123456789 = X_01234567890123 then
      null;
   end if;
   if X_0123456789 = X_012345678901234 then
      null;
   elsif X_0123456789 = X_012345678901234 then
      null;
   end if;
   if X_0123456789 = X_0123456789012345 then
      null;
   elsif X_0123456789 = X_0123456789012345 then
      null;
   end if;
   if X_0123456789 = X_01234567890123456 then
      null;
   elsif X_0123456789 = X_01234567890123456 then
      null;
   end if;
   if X_0123456789 = X_012345678901234567 then
      null;
   elsif X_0123456789 = X_012345678901234567 then
      null;
   end if;
   if X_0123456789 = X_0123456789012345678 then
      null;
   elsif X_0123456789 = X_0123456789012345678 then
      null;
   end if;
   if X_0123456789 = X_01234567890123456789 then
      null;
   elsif X_0123456789 = X_01234567890123456789 then
      null;
   end if;

   while X_0123456789 /= X_012345 loop
      null;
   end loop;
   while X_0123456789 /= X_0123456 loop
      null;
   end loop;
   while X_0123456789 /= X_01234567 loop
      null;
   end loop;
   while X_0123456789 /= X_012345678 loop
      null;
   end loop;
   while X_0123456789 /= X_0123456789 loop
      null;
   end loop;
   while X_0123456789 /= X_01234567890 loop
      null;
   end loop;
   while X_0123456789 /= X_012345678901 loop
      null;
   end loop;
   while X_0123456789 /= X_0123456789012 loop
      null;
   end loop;
   while X_0123456789 /= X_01234567890123 loop
      null;
   end loop;
   while X_0123456789 /= X_012345678901234 loop
      null;
   end loop;
   while X_0123456789 /= X_0123456789012345 loop
      null;
   end loop;
   while X_0123456789 /= X_01234567890123456 loop
      null;
   end loop;
   while X_0123456789 /= X_012345678901234567 loop
      null;
   end loop;
   while X_0123456789 /= X_0123456789012345678 loop
      null;
   end loop;
   while X_0123456789 /= X_01234567890123456789 loop
      null;
   end loop;
end Loop_Then;
