There is a way to simulate Continue without using any Goto:

   Any_Loop:
      loop
         Continue_Loop:
            loop
               -- this loop is not a real one.
               -- it is not eexecuted more than once at a time.
               ...
               -- Continue
               exit Continue_Loop;
               ...
               exit Continue_Loop;
            end loop Continue_Loop;
       end loop Any_Loop;

I agree it is rather ugly, but at least for those that are prohibited from
using Gotos, they can simulate Continue; and the efficiency should be quite
good.

-- Vincent