In general, the content of a loop might be large, involving intricate array indexing.
Even better, the "tweaked" pseudocode example, that may be performed automatically by some optimizing compilers, eliminating unconditional jumps altogether.