A looping construct is provided for expressing regular structures more succinctly. Loops are simply unrolled by the compiler into the equivalent ``in-line'' code.
