Foo := 1; loop exit when Foo = 10; Foo := Foo + 1; end loop;