Comment by cdhdc

Eiffel has the loop structure.

from <initialization statements> until <termination condition> loop <group of statements> end