A counted loop that executes a fixed number of times. The loop variable is automatically incremented (with `to`) or decremented (with `downto`) after each iteration. The loop variable must be an ordinal type and must not be modified within the loop body. (Ch. 6)